Sciweavers

3954 search results - page 224 / 791
» Image-based Model Completion
Sort
View
199
Voted
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
16 years 1 months 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
215
Voted
SEKE
2004
Springer
16 years 23 days 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 ...
181
Voted
IFSA
2003
Springer
101views Fuzzy Logic» more  IFSA 2003»
16 years 19 days 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...
192
Voted
CA
2002
IEEE
16 years 12 days 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
194
Voted
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 12 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