1753 search results - page 303 / 351 » State Machines |
102
click to vote
FMCAD
1998
Springer
15 years 2 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
PG
1997
IEEE
15 years 2 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We first desc...
AVSS
2006
IEEE
15 years 1 months ago
2006
IEEE
The success of any Bayesian particle filtering based tracker relies heavily on the ability of the likelihood function to discriminate between the state that fits the image well an...
FGR
2004
IEEE
15 years 1 months ago
2004
IEEE
It is argued that for the computer to be able to interact with humans, it needs to have the communication skills of humans. One of these skills is the ability to understand the em...
107
click to vote
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a new descriptor for images which allows the construction of efficient and compact classifiers with good accuracy on object category recognition. The descriptor is the...