2477 search results - page 28 / 496 » First-Order Interactive Programming |
COR
2002
13 years 7 months ago
2002
This paper presents the fundamental theory and algorithms for identifying the most preferred alternative for a decision maker (DM) having a non-centrist (or extremist) preferentia...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
VL
2006
IEEE
14 years 1 months ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
ENGL
2007
13 years 7 months ago
2007
—The benefits of collaborative manufacturing are widely recognized both by the industry and the academic world. However, the engagement of collaborative manufacturing for Small a...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...