Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,550 papers from all fields of science
Search
Sign In
Create Free Account
BackTrack
Known as:
BackTrack Linux
, BackTrack OS
, Whoppix
Expand
BackTrack was a Linux distribution that focused on security based on the Ubuntu Linux distribution aimed at digital forensics and penetration testing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
35 relations
ARM architecture
Bash
CAcert.org
Comparison of Linux distributions
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2021
2021
Fast, Optimal Pathfinding with Compressed Path Databases
A. Botea
Symposium on Combinatorial Search
2021
Corpus ID: 14498810
Most existing pathfinding methods are based on runtime search. Despite an impressive progress achieved in recent years…
Expand
2015
2015
Switching from exact scheme to nonstandard finite difference scheme for linear delay differential equation
Salisu M. Garba
,
A. Gumel
,
A. S. Hassan
,
J. Lubuma
Applied Mathematics and Computation
2015
Corpus ID: 46630205
2013
2013
Incremental Dynamic Controllability Revisited
Mikael Nilsson
,
Jonas Kvarnström
,
P. Doherty
International Conference on Automated Planning…
2013
Corpus ID: 3102929
Simple Temporal Networks with Uncertainty (STNUs) allow the representation of temporal problems where some durations are…
Expand
Highly Cited
2012
Highly Cited
2012
Distributed Barrier Coverage in Wireless Visual Sensor Networks With $\beta$-QoM
Chien-Fu Cheng
,
Kuo-Tang Tsai
IEEE Sensors Journal
2012
Corpus ID: 24951632
Wireless visual sensor networks (WVSNs) can not only provide monitoring functions like wireless sensor networks but also capture…
Expand
2006
2006
A One-Threshold Algorithm for Detecting Abandoned Packages Under Severe Occlusions Using a Single Camera
S. Lim
,
L. Davis
2006
Corpus ID: 15271972
We describe a single-camera system capable of detecting abandoned packages under severe occlusions, which leads to complications…
Expand
2001
2001
Exploiting stabilizers and parallelism in state space generation with the symmetry method
Louise Lorentsen
,
L. Kristensen
Proceedings Second International Conference on…
2001
Corpus ID: 19696511
The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding…
Expand
2001
2001
Matching architecture to application via configurable processors: a case study with boolean satisfiability problem
Ying Zhao
,
S. Malik
,
Albert R. Wang
,
Matthew W. Moskewicz
,
Conor F. Madigan
Proceedings IEEE International Conference on…
2001
Corpus ID: 18619040
Boolean Satisfiability (SAT) is a classical NP-complete problem with both theoretical and practical interests. This paper…
Expand
1999
1999
On the fine structure of large search spaces
C. Gomes
,
B. Selman
Proceedings 11th International Conference on…
1999
Corpus ID: 18469301
Recently, there has been significant progress in our understanding of the computational nature of combinatorial problems…
Expand
1992
1992
SIESTA: a multi-facet scan design system
S. Narayanan
,
C. Njinda
,
Rajesh K. Gupta
,
M. Breuer
European Design Automation Conference
1992
Corpus ID: 9954041
Scan design methodology has led to a range of design-for-testability techniques. However, scan techniques are not universally…
Expand
1986
1986
The mapping of 2-D array processors to 1-D array processors
Chang-Biau Yang
,
Richard C. T. Lee
Parallel Computing
1986
Corpus ID: 28942930
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE