4609 search results - page 497 / 922 » Automatic Generation of Sigma-Protocols |
159
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
How can sequential applications benefit from the ubiquitous next generation of chip multiprocessors (CMP)? Part of the answer may be a dynamic execution environment that automatica...
166
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
156
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
174
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
160
click to vote
AAAI
2007
15 years 9 months ago
2007
The ASKNet system is an attempt to automatically generate large scale semantic knowledge networks from natural language text. State-of-the-art language processing tools, including...