Sciweavers

29143 search results - page 438 / 5829
» A Sortation System Model
Sort
View
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 3 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
IROS
2009
IEEE
149views Robotics» more  IROS 2009»
16 years 1 months ago
Path planning for data assimilation in mobile environmental monitoring systems
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
Franz S. Hover
CAMP
2005
IEEE
16 years 12 days ago
Prey-Predator Strategies in a Multiagent System
— This paper describes the prey-predator multiagent hich can be considered as an abstraction of more complex real-world models. Both the prey and the predators are considered as ...
B. Lenzitti, Domenico Tegolo, Cesare Valenti
ACMACE
2005
ACM
16 years 11 days ago
D4MD: deformation system for a vehicle simulation game
This paper presents a hybrid geometrical-physical, plastic deformation technique applicable for solids, in the context of a car simulation game. This technique doesn’t aim to be...
Tiago Rodrigues, Rui Pires, José Miguel Sal...
CLEF
2005
Springer
16 years 10 days ago
Using the X-IOTA System in Mono- and Bilingual Experiments at CLEF 2005
This document describes the CLIPS experiments in the CLEF 2005 campaign. We used a surface-syntactic parser in order to extract new indexing terms. These terms are considered synta...
Loïc Maisonnasse, Gilles Sérasset, Jea...