Sciweavers

4212 search results - page 216 / 843
» Rights Expression Languages
Sort
View
SIGIR
1996
ACM
15 years 10 months ago
A Deductive Data Model for Query Expansion
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
Kalervo Järvelin, Jaana Kristensen, Timo Niem...
ASPDAC
2007
ACM
98views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
Marc Boule, Zeljko Zilic
DLOG
2008
15 years 8 months ago
All Elephants are Bigger than All Mice
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
AAAI
2000
15 years 7 months ago
Cognitive Status and Form of Reference in Multimodal Human-Computer Interaction
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
Andrew Kehler
ALT
2006
Springer
16 years 3 months ago
Iterative Learning from Positive Data and Negative Counterexamples
A model for learning in the limit is defined where a (so-called iterative) learner gets all positive examples from the target language, tests every new conjecture with a teacher ...
Sanjay Jain, Efim B. Kinber