Sciweavers

2451 search results - page 71 / 491
» The Octagon Abstract Domain
Sort
View
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 4 months ago
Improved GPS sensor model for mobile robots in urban terrain
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
Daniel Maier, Alexander Kleiner
AAAI
2011
14 years 6 months ago
Combining Learned Discrete and Continuous Action Models
Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, r...
Joseph Z. Xu, John E. Laird
ENTCS
2010
82views more  ENTCS 2010»
15 years 3 months ago
A Modular Static Analysis Approach to Affine Loop Invariants Detection
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
Corinne Ancourt, Fabien Coelho, François Ir...
ISCAS
1994
IEEE
86views Hardware» more  ISCAS 1994»
15 years 10 months ago
Sign Haar Transform
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...
Bogdan J. Falkowski, Susanto Rahardja
ACTA
2002
86views more  ACTA 2002»
15 years 6 months ago
Deriving and paraphrasing information grammars using object-oriented analysis models
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
Paul J. M. Frederiks, Theo P. van der Weide