15792 search results - page 2749 / 3159 » Computational Abstraction Steps |
161
click to vote
BIOADIT
2004
Springer
16 years 10 days 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...
191
click to vote
CAISE
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
250
click to vote
CAV
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
193
click to vote
CC
2004
Springer
16 years 10 days 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) ...
152
click to vote
CHES
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The recent development of side channel attacks has lead implementers to use increasingly sophisticated countermeasures in critical operations such as modular exponentiati...