3758 search results - page 472 / 752 » A Complete Subsumption Algorithm |
148
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
183
Voted
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
158
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The similarity join has become an important database primitive to support similarity search and data mining. A similarity join combines two sets of complex objects such t...
189
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Heterogeneous computing (HC) environments composed of interconnected machines with varied computational capabilities are well suited to meet the computational demands of large, di...
178
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
Camera tracking is a fundamental requirement for videobased Augmented Reality applications. The ability to accurately calculate the intrinsic and extrinsic camera parameters for e...