Sciweavers

1583 search results - page 219 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
13 years 11 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
DLOG
2008
13 years 10 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...
ASSETS
2005
ACM
13 years 10 months ago
Wizard-of-Oz test of ARTUR: a computer-based speech training system with articulation correction
This study has been performed in order to test the manmachine interface of a computer-based speech training aid named ARTUR with the main feature that it can give suggestions on h...
Olle Bälter, Olov Engwall, Anne-Marie Ös...
SYRCODIS
2008
120views Database» more  SYRCODIS 2008»
13 years 9 months ago
Efficient Implementation of XQuery Constructor Expressions
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this ...
Leonid Novak, Maxim Grinev, Ilya Taranov
AAAI
2000
13 years 9 months ago
Dynamic Ontologies on the Web
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
Jeff Heflin, James A. Hendler