199 search results - page 32 / 40 » Combinatorial Constraints on Multiple Projections of a Set o... |
ICWS
2008
IEEE
13 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
IJNSEC
2007
13 years 6 months ago
2007
Large scale distributed applications combine network access with multiple storage and computational elements. The distributed responsibility for resource control creates new secur...
AAAI
2008
13 years 9 months ago
2008
This paper presents a novel people detection and tracking method based on a multi-modal sensor fusion approach that utilizes 2D laser range and camera data. The data points in the...
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
ICPR
2006
IEEE
14 years 7 months ago
2006
IEEE
This article describes a multiple feature data fusion applied to an auxiliary particle filter for markerless tracking of 3D two-arm gestures by using a single camera mounted on a ...