2502 search results - page 468 / 501 » Using probabilistic model checking in systems biology |
191
click to vote
GIS
2006
ACM
16 years 25 days ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— We present an approach to the problem of 3D map building in urban settings for service robots, using threedimensional laser range scans as the main data input. Our system is ba...
PAKDD
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we investigate and utilize the characteristic of the group movement of objects to achieve energy conservation in the inherently resource-constrained wireless object ...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...