171 search results - page 6 / 35 » Efficient algorithms for interface timing verification |
132
Voted
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
130
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
- Interactive avatar control means a control mechanism using AI techniques to improve user navigation efficiency as well as visual realism in a 3D virtual environment. This paper r...
209
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
101
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Although speech is a potentially rich information source, a major barrier to exploiting speech archives is the lack of useful tools for efficiently accessing lengthy speech record...
125
Voted
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...