Sciweavers

844 search results - page 74 / 169
» More On Implicit Syntax
Sort
View
COLING
2002
15 years 3 months ago
Text Authoring, Knowledge Acquisition and Description Logics
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
Marc Dymetman
MICRO
2000
IEEE
107views Hardware» more  MICRO 2000»
15 years 3 months ago
An integrated approach to accelerate data and predicate computations in hyperblocks
To exploit increased instruction-level parallelism available in modern processors, we describe the formation and optimization of tracenets, an integrated approach to reducing the ...
Alexandre E. Eichenberger, Waleed Meleis, Suman Ma...
118
Voted
FAC
1998
111views more  FAC 1998»
15 years 3 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
KI
2002
Springer
15 years 3 months ago
Adaptivity through Unobstrusive Learning
In this paper, we present an approach for learning interest profiles implicitly from positive user observations only. This approach eliminates the need to prompt users for ratings...
Ingo Schwab, Alfred Kobsa
SAC
2008
ACM
15 years 3 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter