Sciweavers

5084 search results - page 431 / 1017
» Proving Possibility Properties
Sort
View
KES
2009
Springer
16 years 1 months ago
Domain Modeling Based on Engineering Standards
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Carlos Toro, Manuel Graña, Jorge Posada, Ja...
LORI
2009
Springer
16 years 1 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
ACMACE
2009
ACM
16 years 1 months ago
Towards tailoring player experience in physical Wii games: a case study on relaxation
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
Patrick Jarnfelt, Sebbe Selvig, Dajana Dimovska
ICQNM
2008
IEEE
138views Chemistry» more  ICQNM 2008»
16 years 1 months ago
Multiparty Distributed Compression of Quantum Information
—We study a protocol in which many parties use quantum communication to transfer a shared state to a receiver without communicating with each other. This protocol is a multiparty...
David Avis, Patrick Hayden, Ivan Savov
INFOCOM
2008
IEEE
16 years 1 months ago
On Maintaining Sensor-Actor Connectivity in Wireless Sensor and Actor Networks
—In wireless sensor and actor networks (WSANs), a group of sensors and actors are connected by a wireless medium to perform distributed sensing and acting tasks. Sensors usually ...
Jie Wu, Shuhui Yang, Mihaela Cardei