Sciweavers

1168 search results - page 146 / 234
» cases 2000
Sort
View
CP
2000
Springer
15 years 2 months ago
Boosting Search with Variable Elimination
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
Javier Larrosa
ASE
2000
116views more  ASE 2000»
14 years 9 months ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
FUIN
2000
76views more  FUIN 2000»
14 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
FGR
2000
IEEE
386views Biometrics» more  FGR 2000»
15 years 2 months ago
A Virtual 3D Blackboard: 3D Finger Tracking Using a Single Camera
We present a method for tracking the 3D position of a nger, using a single camera placed several meters away from the user. After skin detection, we use motion to identify the ges...
Andrew Wu, Mubarak Shah, Niels da Vitoria Lobo
VLDB
2000
ACM
163views Database» more  VLDB 2000»
15 years 1 months ago
Hierarchical Compact Cube for Range-Max Queries
A range-max query finds the maximum value over all selected cells of an on-line analytical processing (OLAP) data cube where the selection is specified by ranges of contiguous val...
Sin Yeung Lee, Tok Wang Ling, Hua-Gang Li