592 search results - page 39 / 119 » Static analysis of XML processing with data values |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
The in-network query processing paradigm in sensor networks postulates that a query is routed among sensors and collects the answers from the sensors on its trajectory. It works f...
WSC
1998
13 years 10 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
IVS
2006
13 years 8 months ago
2006
Business operations involve many factors and relationships and are modeled as complex business process workflows. The execution of these business processes generates vast volumes ...
AGP
1995
IEEE
14 years 9 days ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...