115 search results - page 10 / 23 » A rigorous view on neutrality |
FOCM
2010
13 years 8 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
JUCS
2010
13 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— Planar Catadioptric Stereo vision sensors (PCS) combine a pinhole camera with two or more planar mirrors. PCS have recently received an increasing attention since a stereo view...
RTSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
TARK
2005
Springer
14 years 3 months ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...