2850 search results - page 334 / 570 » On Timed Models and Full Abstraction |
191
click to vote
COLING
2000
15 years 6 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
174
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
164
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper quantifies the impact of threshold voltage variation on aging-related hard failure rates in a highperformance 65nm processor. Simulations show that threshol...
192
click to vote
ICPR
2010
IEEE
16 years 10 days ago
2010
IEEE
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
185
click to vote
EPIA
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...