Sciweavers

9810 search results - page 273 / 1962
» Problems, Descriptions and Objects
Sort
View
AIR
2005
126views more  AIR 2005»
15 years 5 months ago
The Explanatory Power of Symbolic Similarity in Case-Based Reasoning
A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
Enric Plaza, Eva Armengol, Santiago Ontañ&o...
PERCOM
2007
ACM
16 years 5 months ago
Ontology-Directed Generation of Frameworks for Pervasive Service Development
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
Charles Consel, Wilfried Jouve, Julien Lancia, Nic...
FROCOS
2009
Springer
16 years 15 days ago
Putting ABox Updates into Action
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
Conrad Drescher, Hongkai Liu, Franz Baader, Steffe...
IEAAIE
2004
Springer
15 years 11 months ago
Iterative Semi-supervised Learning: Helping the User to Find the Right Records
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
Chris Drummond
ISLPED
1996
ACM
102views Hardware» more  ISLPED 1996»
15 years 10 months ago
High-level power estimation and the area complexity of Boolean functions
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...
Mahadevamurty Nemani, Farid N. Najm