10891 search results - page 1694 / 2179 » Combining Model Reductions |
120
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
150
click to vote
CIVR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe progress in the automatic detection and identification of humans in video, given a minimal number of labelled faces as training data. This is an extremely cha...
156
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
157
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
135
click to vote
DASFAA
2004
IEEE
15 years 8 months ago
2004
IEEE
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...