1648 search results - page 98 / 330 » Where to Build a Door |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
CIVR
2004
Springer
14 years 3 months ago
2004
Springer
We are building a broadcast news video archive where topics of interest can be retrieved and tracked easily. This paper introduces a structuring method applied to the accumulated n...
EMISA
2004
Springer
14 years 3 months ago
2004
Springer
: In a design project, the actors cooperate to achieve a same objective, which can be the production of a document, a manufactured product, a plane or a building. The role of a coo...
EUC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. With the knowledge about their locations, mobile users are able to issue location-dependent queries. Most of existing approaches focus on how to obtain the information ab...
TAL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a novel approach to incorporating semantic information to the problems of natural language processing, in particular to the document classification task. The ...