Sciweavers

2302 search results - page 130 / 461
» Basic Description Logics
Sort
View
ACL
2004
15 years 5 months ago
Balancing Clarity and Efficiency in Typed Feature Logic Through Delaying
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
Gerald Penn
IFIP
1998
Springer
15 years 8 months ago
Scheduling in a Multi-Agent Environment
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
M. Schmotzer, Jan Paralic, Julius Csontó
131
Voted
JAPLL
2010
133views more  JAPLL 2010»
15 years 2 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
JSA
2000
103views more  JSA 2000»
15 years 3 months ago
Testing and built-in self-test - A survey
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
Andreas Steininger
CORR
1999
Springer
97views Education» more  CORR 1999»
15 years 3 months ago
A Formal Framework for Linguistic Annotation
`Linguistic annotation' covers any descriptive or analytic notations applied to raw language data. The basic data may be in the form of time functions
Steven Bird, Mark Liberman