Sciweavers

3009 search results - page 459 / 602
» The Expressive Rate of Constraints
Sort
View
ICT
2004
Springer
130views Communications» more  ICT 2004»
16 years 12 days ago
Rayleigh Fading Multiple Access Channel Without Channel State Information
— In this paper we determine bounds of the capacity region of a two-user multipleaccess channel with Rayleigh fading when neither the transmitters nor the receiver has channel st...
Ninoslav Marina
154
Voted
JELIA
2004
Springer
16 years 11 days ago
Two Approaches to Merging Knowledge Bases
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
James P. Delgrande, Torsten Schaub
184
Voted
KI
2004
Springer
16 years 11 days ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
175
Voted
SAT
2004
Springer
97views Hardware» more  SAT 2004»
16 years 11 days ago
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
Vasco M. Manquinho, João P. Marques Silva
ICAT
2003
IEEE
16 years 9 days ago
SpaceSensor: Real-time Gesture Tracking for I-NEXT
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...
Dongpyo Hong, Woontack Woo