3082 search results - page 560 / 617 » Deviation Analysis: A New Use of Model Checking |
111
click to vote
CORR
2007
Springer
14 years 12 months ago
2007
Springer
—In distributed detection systems with wireless sensor networks, the communication between sensors and a fusion center is not perfect due to interference and limited transmitter ...
ALGORITHMICA
1999
14 years 11 months ago
1999
Abstract. The rational approach to pharmaceutical drug design begins with an investigation of the relationship between chemical structure and biological activity. Information gaine...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
—This paper introduces a new algorithm for probabilistic motion planning in arbitrary, uncertain vector fields, with emphasis on high-level planning for Montgolfier´e balloons...
TMI
2010
14 years 10 months ago
2010
Abstract—The pinhole camera in single photon emission computed tomography (SPECT) has an inherent trade-off between resolution and sensitivity. Recent systems overcome this to so...
135
click to vote
IDA
2009
Springer
14 years 9 months ago
2009
Springer
We propose a method for trajectory classification based on trajectory voting in Moving Object Databases (MOD). Trajectory voting is performed based on local trajectory similarity. ...