20831 search results - page 255 / 4167 » Quantum Computation and Information |
192
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
177
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
208
click to vote
IIE
2007
15 years 6 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
143
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Many electric appliances have recently become network reachable, and we would receive better services from them if we could use them in combination. We have therefore dev...
168
click to vote
CGF
2000
15 years 6 months ago
2000
Now that technology allows us to present photorealistic animations of scenically lit objects acting in realtime, the problem of computer graphics has changed from making displays ...