11328 search results - page 434 / 2266 » Timed Branching Processes |
170
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
We present a tracking approach for textured surfaces which recovers the object motion in 6 degrees of freedom. We assume an arbitrary but known surface shape, and an image of the o...
177
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
170
click to vote
IDEAL
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents new services for intelligent monitoring and visualising user accesses to a university's web site. These are based on the use of data mining techniques to p...
147
click to vote
ISLPED
1997
ACM
15 years 9 months ago
1997
ACM
A digital to analog converter has been developed using switched capacitors as the basic DAC elements. The use of switching capacitors provides excellent matching without sacrifici...
178
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...