5015 search results - page 482 / 1003 » Model Checking a Path |
204
click to vote
GISCIENCE
2008
Springer
15 years 8 months ago
2008
Springer
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...
185
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
For a variety of signal processing applications polynomials are implemented in circuits. Recent work on polynomial datapath optimization achieved significant reductions of hardware...
171
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Vision is an important sensor used for mobile robot navigation. One approach to localization which is based on vision is to compute camera egomotion with respect to base images. W...
151
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind field. The geostatistical concept of the vari...
186
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...