4463 search results - page 802 / 893 » computing 2000 |
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...
110
Voted
JCNS
2000
15 years 13 days ago
2000
We have developed a novel and simple mathematical model of a slow excitatory postsynaptic potential ased on an abstraction of the processes of activation, inactivation, and summati...
124
Voted
JCSS
2000
15 years 13 days ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
JDM
2000
15 years 13 days ago
2000
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
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...