4609 search results - page 498 / 922 » Automatic Generation of Sigma-Protocols |
185
click to vote
FLAIRS
2007
15 years 9 months ago
2007
General Game Playing is the problem of designing an agent capable of playing any previously unknown game when given only the rules. This paper describes the implementation archite...
167
click to vote
ACII
2005
Springer
15 years 8 months ago
2005
Springer
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
149
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
189
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...
190
click to vote
GAMEON
2008
15 years 8 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...