Sciweavers

2381 search results - page 263 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
MKERN
1992
15 years 7 months ago
Data Movement in Kernelized Systems
of the kernel abstractions and system servers and describe in detail the read() and write() paths of these two systems. We then break down their read() and write() performance and ...
Randall W. Dean, François Armand
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 6 months ago
Programs as polygraphs: computability and complexity
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
Guillaume Bonfante, Yves Guiraud
KI
2008
Springer
15 years 6 months ago
Interactive Dynamic Information Extraction
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request for a topic description which is ...
Kathrin Eichler, Holmer Hemsen, Markus Löckel...
ENGL
2007
90views more  ENGL 2007»
15 years 6 months ago
Stabilization of LTI Switched Systems with Input Time Delay
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
Lin Lin
ECRA
2002
111views more  ECRA 2002»
15 years 6 months ago
The Web Service Modeling Framework WSMF
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
Dieter Fensel, Christoph Bussler