4480 search results - page 724 / 896 » Prototyping Completion with Constraints Using Computational ... |
160
click to vote
MOBIDE
1999
ACM
15 years 10 months ago
1999
ACM
The use of mobile computers is gaining popularity. The number of users with laptops and notebooks is increasing and this trend is likely to continue in the future where the number...
158
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...
174
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
160
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper proposes a method for computing a quasi-dense set of matching points between three views of a scene. The method takes a sparse set of seed matches between pairs of view...
169
click to vote
CVIU
2006
15 years 6 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...