3239 search results - page 531 / 648 » A Logical Process Calculus |
128
click to vote
JEI
2000
15 years 3 months 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...
140
click to vote
LOGCOM
2002
15 years 3 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
130
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Network tomography is a process for inferring "internal" link-level delay and loss performance information based on end-to-end (edge) network measurements. These methods...
120
Voted
TSMC
1998
15 years 3 months ago
1998
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
152
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...