4355 search results - page 317 / 871 » From Interpretation to Compilation |
277
click to vote
SIMVIS
2007
15 years 8 months ago
2007
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
181
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
Existing methods for exploiting awed domain theories depend on the use of a su ciently large set of training examples for diagnosing and repairing aws in the theory. In this paper,...
186
click to vote
TDSC
2010
15 years 1 months ago
2010
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
187
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...
192
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...