Sciweavers

4098 search results - page 160 / 820
» Sound mobility models
Sort
View
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 10 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
15 years 10 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
EVOW
2005
Springer
15 years 9 months ago
Granular Sampling Using a Pulse-Coupled Network of Spiking Neurons
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
Eduardo Reck Miranda, John Matthias
TARK
2005
Springer
15 years 9 months ago
Understanding human strategies for change: an empirical study
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
Alankar Karol, Mary-Anne Williams
112
Voted
WER
2005
Springer
15 years 9 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano