4126 search results - page 624 / 826 » Relationships with other Formalisms |
160
click to vote
ICDT
2007
ACM
16 years 20 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...
188
click to vote
ICTAC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper, I present the class of linear context free languages (LCFLs) with a class of non-deterministic one-way two-head (read only) automata, called non-determinis...
174
click to vote
IPMI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
166
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
189
click to vote
RAID
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...