Sciweavers

19985 search results - page 3168 / 3997
» Modelling Ecological Data
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 7 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 7 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 7 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 7 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
« Prev « First page 3168 / 3997 Last » Next »