4609 search results - page 581 / 922 » Automatic Generation of Sigma-Protocols |
194
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
155
click to vote
DIGRA
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
180
click to vote
ECML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
164
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
166
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
At Leiden University, we are developing a design methodology that allows for fast mapping of nested-loop applications (e.g. DSP, Imaging, or MultiMedia) written in a subset of Matl...