1438 search results - page 141 / 288 » An Expressive Extension of TLC |
166
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
160
click to vote
IEEEIAS
2007
IEEE
16 years 25 days ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
166
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
192
click to vote
TIME
2007
IEEE
16 years 24 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
177
click to vote
DEXA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The problem of storing and querying XML data using relational databases has been considered a lot and many techniques have been developed. MXML is an extension of XML sui...