2958 search results - page 402 / 592 » Extending and Implementing RASP |
108
Voted
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper discusses Tangible User Interfaces (TUIs) and their potential impact on cognitive assessment and cognitive training. We believe that TUIs, and particularly a s...
122
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
144
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
124
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
119
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...