4372 search results - page 686 / 875 » Algorithmic Theories of Everything |
198
click to vote
NOSSDAV
2005
Springer
16 years 2 days ago
2005
Springer
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...
157
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
197
click to vote
PPSWR
2005
Springer
16 years 2 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
186
click to vote
DOLAP
2004
ACM
16 years 21 hour ago
2004
ACM
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...
172
click to vote
ITICSE
2004
ACM
16 years 19 hour ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...