846 search results - page 80 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
130
Voted
AAAI
2000
15 years 2 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
113
Voted
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
111
Voted
ARITH
2001
IEEE
15 years 4 months ago
2001
IEEE
The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...
224
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
137
click to vote
CNSR
2005
IEEE
15 years 2 months ago
2005
IEEE
The dramatic increase in the number of mobile subscribers has put a significant resource and service provisioning strain on current cellular networks in particular in terms of mu...