6300 search results - page 278 / 1260 » We have it easy, but do we have it right |
89
Voted
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
113
Voted
LREC
2010
15 years 3 months ago
2010
This paper reports our experience when integrating differ resources and services into a grid environment. The use case we address implies the deployment of several NLP application...
89
Voted
HCI
2007
15 years 3 months ago
2007
In this paper, we developed a fingertip finding algorithm working with a regular diffuser. The proposed algorithm works on images captured by infra-red cameras, settled on one side...
131
click to vote
GRAPHICSINTERFACE
2004
15 years 3 months ago
2004
Much of the motion capture data used in animations, commercials, and video games is carefully segmented into distinct motions either at the time of capture or by hand after the ca...
139
click to vote
IJCAI
2001
15 years 3 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...