2203 search results - page 165 / 441 » Temporal Abstract Interpretation |
123
Voted
TSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We are introducing several methods for combination of systems based on temporal trajectories feature-level combination. Experiments were done to evaluate combination meth...
151
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
189
Voted
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose an original bayesian approach to recognize human behaviors from video streams. Mobile objects and their visual features are computed by a vision module. Then, ...
152
click to vote
SSD
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...
123
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...