7504 search results - page 345 / 1501 » Computing with Action Potentials |
141
click to vote
CDES
2006
15 years 6 months ago
2006
- Round-robin has been used as a fair (non starvation) scheduling policy in many computer applications. This paper presents a novel hardware design of a round-robin arbiter without...
138
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
138
click to vote
CAEPIA
2005
Springer
15 years 10 months ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
156
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we propose an approach that retrieves motion of objects from the videos based on the dynamic time warping of view invariant characteristics. The motion is represent...
124
click to vote
APCHI
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, a visual system Eviss is proposed. Visual systems proposed so far have been fixed on certain specifications. It is hard to make and modify such visual systems. Sinc...