4609 search results - page 538 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
ISRR
2005
Springer
16 years 9 days ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
185
click to vote
MHCI
2005
Springer
16 years 8 days ago
2005
Springer
Context-aware applications can better meet users’ needs when sensing agents installed in the environment automatically provide input relevant to the application. However, this n...
185
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
186
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
Given time and location information about digital photographs we can automatically generate an abundance of related contextual metadata, using off-the-shelf and Web-based data so...
193
click to vote
SBCCI
2004
ACM
16 years 6 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...