1646 search results - page 209 / 330 » Automatic generation of two-party computations |
116
click to vote
ACL
1998
15 years 2 months ago
1998
In this paper we present results on developing robust natural language interfaces by combining shallowand partialinterpretationwith dialoguemanagement. The key issue is to reduce ...
114
click to vote
SIP
2003
15 years 2 months ago
2003
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
113
click to vote
PDPTA
2000
15 years 2 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
117
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
152
Voted
ENTCS
2006
15 years 1 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...