16666 search results - page 148 / 3334 » Descriptive and Computational Complexity |
114
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
134
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
122
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
154
click to vote
CCR
2008
15 years 4 months ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...
141
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...