8810 search results - page 1 / 1762 » Open. Closed. Open |
RTA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
ICEIS
2003
IEEE
13 years 10 months ago
2003
IEEE
SAC
2009
ACM
13 years 11 months ago
2009
ACM
The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who ...
HYBRID
2003
Springer
13 years 10 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
AVSS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper proposes a frequency method to estimate the state open or closed of eye and mouth and to detect associated motion events such as blinking and yawning. The context of th...