Sciweavers

2381 search results - page 111 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
DLOG
2010
14 years 11 months ago
Structure Preserving TBox Repair using Defaults
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
Thomas Scharrenbach, Rolf Grütter, Bettina Wa...
CNSR
2008
IEEE
118views Communications» more  CNSR 2008»
15 years 8 months ago
Overall Performance Assessment of Energy-Aware Cooperative Techniques Exploiting Multiple Description and Scalable Video Coding
Abstract— In this paper we develop and analyze energyefficient cooperative techniques for multimedia applications over wireless networks. The composite cellular-short-range netw...
Federico Albiero, Janne Vehkaperä, Marcos D. ...
ECAL
2001
Springer
15 years 6 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 6 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski
ICWS
2007
IEEE
15 years 3 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal