124 search results - page 11 / 25 » Quantum entanglement analysis based on abstract interpretati... |
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
Abstract—Becoming proficient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...
72
Voted
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
PLILP
1993
Springer
15 years 2 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
PAA
2008
14 years 10 months ago
2008
Abstract This paper focuses on human behavior recognition where the main problem is to bridge the semantic gap between the analogue observations of the real world and the symbolic ...
TCSV
2008
14 years 10 months ago
2008
Abstract--During the last years, the task of automatic event analysis in video sequences has gained an increasing attention among the research community. The application domains ar...