Sciweavers

1063 search results - page 90 / 213
» Order and Negation as Failure
Sort
View
FLAIRS
2007
14 years 1 months ago
Handling Qualitative Preferences Using Normal Form Functions
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
Salem Benferhat, Daniel Le Berre, Karima Sedki
EUROPAR
2001
Springer
14 years 3 months ago
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
Paul D. Ezhilchelvan, Jean-Michel Hélary, M...
ICC
2008
IEEE
156views Communications» more  ICC 2008»
14 years 5 months ago
Cross-Layer Design for the MIMO System with Zero-Forcing Receiver in the Presence of Channel Estimation Error
—Multiple input multiple output (MIMO) system has been recognized as a promising candidate for future wireless communication. The adaptive modulation which adjusts the transmitte...
Feng Jiang, Ying Wang, Xi Fang, Kai Sun, Guona Hu,...
MEDINFO
2007
175views Healthcare» more  MEDINFO 2007»
14 years 18 days ago
Reconciliation of Ontology and Terminology to Cope with Linguistics
Objectives: To discuss the relationships between ontologies, terminologies and language in the context of Natural Language Processing (NLP) applications in order to show the negat...
Robert H. Baud, Werner Ceusters, Patrick Ruch, Ann...
CAV
2006
Springer
165views Hardware» more  CAV 2006»
14 years 2 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...