797 search results - page 143 / 160 » Spatial Relations Analysis by Using Fuzzy Operators |
112
click to vote
POPL
2011
ACM
14 years 14 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Being the most broadly used tool for deceit measurement, the polygraph is a limited method as it suffers from human operator subjectivity and the fact that target subjects are awa...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper describes a new non-invasive brainactuated wheelchair that relies on a P300 neurophysiological protocol and automated navigation. In operation, the subject f...
100
click to vote
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
With recent advances in wireless communication and position technologies, it became possible to collect and record trajectories of moving objects. Thus, many services in road netw...
WEBI
2007
Springer
15 years 3 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...