Sciweavers

1220 search results - page 153 / 244
» Diagnosing Design Problems in Object Oriented Systems
Sort
View
AINA
2003
IEEE
15 years 3 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
CG
2005
Springer
14 years 11 months ago
Video Paintbox: The fine art of video painting
We present the Video Paintbox; a novel system capable of transforming video into stylised animations. Our system solves the problem of temporally coherent painting for a wide clas...
John P. Collomosse, Peter M. Hall
BXML
2004
15 years 1 months ago
Telephony Interface of the ExtraPlanT Multi-agent Production Planning System
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
Petr Becvár, Michal Pechoucek, Lubos Sm&iac...
ATAL
2010
Springer
15 years 1 months ago
Optimal social laws
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
Thomas Ågotnes, Michael Wooldridge
ICCV
1999
IEEE
16 years 1 months ago
Appearance Compression and Synthesis based on 3D Model for Mixed Reality
Rendering photorealistic virtual objects from their real images is one of the main research issues in mixed reality systems. We previously proposed the Eigen-Texture method, a new...
Ko Nishino, Yoichi Sato, Katsushi Ikeuchi