1264 search results - page 107 / 253 » Towards Theory Translation |
MEMOCODE
2007
IEEE
14 years 5 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
CHI
2008
ACM
14 years 11 months ago
2008
ACM
This paper describes the design and interprets the results of a survey of 435 undergraduate students concerning the attitudes of this mainly millennial population towards sustaina...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
In this paper we present work toward a new method of evaluation for Reality-Based Interaction Styles that we call Cognitive Description and Evaluation of Interaction (CoDeIn). Thi...
DOCENG
2003
ACM
14 years 4 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
ECAI
2000
Springer
14 years 3 months ago
2000
Springer
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...