4255 search results - page 355 / 851 » Cover |
153
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
137
Voted
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
163
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a new method for designing dynamic wrinkles that appear and disappear according to the underlying deformation of tissues. The user positions and orients wrinkl...
179
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Rendering geometric models with complex surface materials in arbitrary lighting environments is a challenging problem. In order to relight and render geometries covered with compl...
172
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...