4609 search results - page 305 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
KBS
1998
15 years 6 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
153
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
210
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
175
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
211
click to vote
MEMICS
2010
15 years 1 months ago
2010
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...