3207 search results - page 506 / 642 » A Semantics for HTN Methods |
170
click to vote
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
142
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
169
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
146
click to vote
CVPR
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
141
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...