Sciweavers

5215 search results - page 722 / 1043
» A model of normative power
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 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...
DAM
2008
69views more  DAM 2008»
15 years 6 months ago
Impact of memory size on graph exploration capability
A mobile agent (robot), modeled as a finite automaton, has to visit all nodes of a regular graph. How does the memory size of the agent (the number of states of the automaton) inf...
Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
157
Voted
EOR
2010
114views more  EOR 2010»
15 years 6 months ago
Technology choice under several uncertainty sources
We analyze a model of irreversible investment with two sources of uncertainty. A riskneutral decision maker has the choice between two mutually exclusive projects under input pric...
Catherine Bobtcheff, Stéphane Villeneuve
AMAI
2006
Springer
15 years 6 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
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