Sciweavers

19832 search results - page 3687 / 3967
» The Korrontea Data Modeling
Sort
View
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
Green Codes: Energy-Efficient Short-Range Communication
Abstract-- A green code attempts to minimize the total energy per-bit required to communicate across a noisy channel. The classical information-theoretic approach neglects the ener...
Pulkit Grover, Anant Sahai
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
Indoor Channel Measurements and Communications System Design at 60 GHz
This paper presents a brief overview of several studies concerning the indoor wireless communications at 60 GHz performed by the IETR. The characterization and the modeling of the...
Lahatra Rakotondrainibe, Gheorghe Zaharia, Gha&ium...
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
CAD
2006
Springer
15 years 6 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
« Prev « First page 3687 / 3967 Last » Next »