4767 search results - page 292 / 954 » Structures for Abstract Rewriting |
182
click to vote
CC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
177
click to vote
ECTEL
2007
Springer
16 years 23 days ago
2007
Springer
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
150
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
164
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
166
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...