Sciweavers

53 search results - page 2 / 11
» Seeing is Believing
Sort
View
LOGCOM
2006
82views more  LOGCOM 2006»
13 years 7 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
GLOBECOM
2008
IEEE
13 years 7 months ago
Peer-to-Peer Traffic: From Measurements to Analysis
We report in this paper measurements from France Telecom commercial networks carrying traffic generated and received by ADSL and FTTH customers. By adopting a flowbased approach to...
Fabrice Guillemin, Catherine Rosenberg, Long Le, G...
CEEMAS
2005
Springer
14 years 1 months ago
How Our Beliefs Contribute to Interpret Actions
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
Guillaume Aucher
SYNTHESE
2010
99views more  SYNTHESE 2010»
13 years 2 months ago
The epistemology of science - a bird's-eye view
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
Alexander Bird
HAPTICS
2007
IEEE
14 years 1 months ago
Visuo-Haptic Systems: Half-Mirrors Considered Harmful
In recent years, systems that allow users to see and touch virtual objects in the same space (visuo-haptic systems) are being investigated. Most research projects are employing a ...
Christian Sandor, Shinji Uchiyama, Hiroyuki Yamamo...