846 search results - page 50 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
100
click to vote
PVM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
98
Voted
POPL
2010
ACM
15 years 1 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
ECCV
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
ICS
2000
Tsinghua U.
15 years 2 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...