2694 search results - page 89 / 539 » Frege's New Science |
157
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata c...
149
click to vote
SOFSEM
2004
Springer
15 years 11 months ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...
135
click to vote
STACS
2004
Springer
15 years 11 months ago
2004
Springer
d Abstract)⋆⋆ Daniel Kirsten LIAFA, Universit´e Denis Diderot – Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France We give a positive solution to the so-called fini...
150
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
Intention preservation is an important aspect of consistency maintenance in real-time collaborative editing systems. The multi-version approach is able to preserve individual user...
143
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...