Sciweavers

1645 search results - page 252 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
ICALP
2009
Springer
15 years 4 months ago
Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
Rachid Guerraoui, Eric Ruppert
SEMWEB
2009
Springer
15 years 4 months ago
LinkedGeoData: Adding a Spatial Dimension to the Web of Data
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
Sören Auer, Jens Lehmann, Sebastian Hellmann
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
15 years 3 months ago
Gait Generation for Passive Running via Iterative Learning Control
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon
PASTE
2004
ACM
15 years 3 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
ICIAR
2004
Springer
15 years 3 months ago
Robust Dichromatic Colour Constancy
Abstract. A novel colour constancy algorithm that utilises both physical and statistical knowledge is introduced. A physics-based model of image formation is combined with a statis...
Gerald Schaefer