4217 search results - page 760 / 844 » Computational indistinguishability logic |
CORR
2004
Springer
15 years 14 days ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
113
Voted
JAIR
2000
15 years 13 days ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
103
Voted
JEI
2000
15 years 13 days ago
2000
Motion estimation is a temporal image compression technique, where an n x n block of pixels in the current frame of a video sequence is represented by a motion vector with respect...
118
click to vote
HEURISTICS
2002
15 years 12 days ago
2002
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
73
Voted
CORR
1998
Springer
15 years 9 days ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...