692 search results - page 91 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
TCSV
2008
14 years 11 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...
PPDP
2001
Springer
15 years 4 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
108
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
103
click to vote
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
105
click to vote
LREC
2010
15 years 1 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...