Sciweavers

9325 search results - page 1523 / 1865
» The decentralized implementability problem
Sort
View
CORR
2002
Springer
187views Education» more  CORR 2002»
15 years 4 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 4 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
CSCW
2002
ACM
15 years 4 months ago
Articulating User Needs in Collaborative Design: Towards an Activity-Theoretical Approach
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
Reijo Miettinen, Mervi Hasu
COMCOM
2007
145views more  COMCOM 2007»
15 years 4 months ago
Jointly rate and power control in contention based MultiHop Wireless Networks
This paper presents a new algorithm for jointly optimal control of session rate, link attempt rate, and link power in contention based MultiHop Wireless Networks. Formulating the ...
Abdorasoul Ghasemi, Karim Faez
ENTCS
2002
148views more  ENTCS 2002»
15 years 4 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
« Prev « First page 1523 / 1865 Last » Next »