585 search results - page 53 / 117 » Better Abstractions for Timed Automata |
100
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
120
click to vote
UCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose D-FLER, a distributed, general-purpose reasoning engine for WSN. D-FLER uses fuzzy logic for fusing individual and neighborhood observations, in order to produ...
124
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— We propose a new vision-based SLAM (Simultaneous Localization and Mapping) technique using both line and corner features as landmarks in the scene. The proposed SLAM al...
111
Voted
ACIVS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
101
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...