1295 search results - page 25 / 259 » Palimpsests of Time and Place |
109
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
99
Voted
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...
ANOR
2002
14 years 9 months ago
2002
We consider an inspection game played on a continuous finite time interval. The inspector wishes to detect a violation as soon as possible after it has been made by the operator. T...
ICCL
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, two novel real-time methods are proposed for facial expression recognition in image sequences. The user manually places some of the Candide grid's points to th...