5015 search results - page 976 / 1003 » Model Checking a Path |
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
Many large scale physics-based simulations which take place on PC clusters or supercomputers produce huge amounts of data including vector fields. While these vector data such as ...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
Micromachined picoliter vials in silicon dioxide with a typical depth of 6.0?m are filled with a liquid sample. Epiilluminated microscopic imaging during evaporation of the liquid...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
While the idea that querying mechanisms for complex relationships (otherwise known as Semantic Associations) should be integral to Semantic Web search technologies has recently ga...
PODC
2009
ACM
14 years 8 months ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...