Sciweavers

1803 search results - page 259 / 361
» An Automatic Distributed Simulation Environment
Sort
View
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
15 years 7 months ago
Learning Behavioral Parameterization using Spatio-Temporal Case-Based Reasoning
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
Maxim Likhachev, Michael Kaess, Ronald C. Arkin
HASE
2008
IEEE
15 years 3 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 18 days ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
EXPERT
2010
145views more  EXPERT 2010»
15 years 6 days ago
Interaction Analysis with a Bayesian Trajectory Model
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...
Alessio Dore, Carlo S. Regazzoni
ICIP
2003
IEEE
16 years 4 months ago
Unsupervised statistical sketching for non-photorealistic rendering models
This paper investigates the use of the Bayesian inference for devising an unsupervised sketch rendering procedure. As likelihood model of this inference, we exploit the recent sta...
Max Mignotte