1914 search results - page 174 / 383 » Abstract lambda-Calculus Machines |
FLAIRS
2004
13 years 9 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
ICAI
2004
13 years 9 months ago
2004
Abstract-- We present a new application of the Image Analogies algorithm to be used for image segmentation. Our approach requires supervised training data, so we apply it to the do...
WOTUG
2007
13 years 9 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
JNW
2008
13 years 8 months ago
2008
Abstract-- The Domain Name System (DNS) is a distributed tree-based database largely used to translate a human readable machine name into an IP address. The DNS security extensions...
ENTCS
2007
13 years 8 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...