Sciweavers

3954 search results - page 224 / 791
» Image-based Model Completion
Sort
View
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
16 years 3 days ago
Modeling and Analysis of Beaconless and Beacon-Based Policies for a Swarm-Intelligent Inspection System
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
Nikolaus Correll, Alcherio Martinoli
SEKE
2004
Springer
15 years 12 months ago
UCDA: Use Case Driven Development Assistant Tool for Class Model Generation
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
Kalaivani Subramaniam, Dong Liu, Behrouz Homayoun ...
IFSA
2003
Springer
101views Fuzzy Logic» more  IFSA 2003»
15 years 11 months ago
Commutativity as Prior Knowledge in Fuzzy Modeling
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...
CA
2002
IEEE
15 years 11 months ago
Employing Approximate 3D Models to Enrich Traditional Computer Assisted Animation
Although computer assistance for traditional animation is gaining a lot of attention during recent years, it still has to cope with many limitations. Part of the current research ...
Fabian Di Fiore, Frank Van Reeth
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 11 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi