Sciweavers

908 search results - page 54 / 182
» Generating maximal models using the stable model semantics
Sort
View
SGP
2004
15 years 6 months ago
Simplification and Improvement of Tetrahedral Models for Simulation
Most 3D mesh generation techniques require simplification and mesh improvement stages to prepare a tetrahedral model for efficient simulation. We have developed an algorithm that ...
Barbara Cutler, Julie Dorsey, Leonard McMillan
CORR
2009
Springer
95views Education» more  CORR 2009»
15 years 2 months ago
Execution Models for Choreographies and Cryptoprotocols
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
Marco Carbone, Joshua D. Guttman
WIDM
2004
ACM
15 years 10 months ago
A version model for supporting adaptation of web pages
Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent develo...
Rodrigo Giacomini Moro, Renata de Matos Galante, C...
ICCV
1995
IEEE
15 years 8 months ago
FORMS: A Flexible Object Recognition and Modelling System
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
Song Chun Zhu, Alan L. Yuille
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
15 years 9 months ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho