16666 search results - page 67 / 3334 » Descriptive and Computational Complexity |
139
Voted
IFL
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
144
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
133
Voted
DATE
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper a new approach is presented to build a list of faults to be used by the fault injection environment; the list is built starting from a high-level description of the ...
139
Voted
AAAI
2007
15 years 6 months ago
2007
We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...
104
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...