Sciweavers

3191 search results - page 301 / 639
» Qualitative Modeling in Education
Sort
View
77
Voted
CORR
2007
Springer
69views Education» more  CORR 2007»
15 years 25 days ago
Wireless Network Information Flow
— We present an achievable rate for general deterministic relay networks, with broadcasting at the transmitters and interference at the receivers. In particular we show that if t...
Amir Salman Avestimehr, Suhas N. Diggavi, David N....
144
Voted
CORR
2007
Springer
111views Education» more  CORR 2007»
15 years 25 days ago
Link Scheduling in STDMA Wireless Networks: A Line Graph Approach
—We consider point to point link scheduling in Spatial Time Division Multiple Access (STDMA) wireless networks under the physical interference model. We propose a novel link sche...
N. Praneeth Kumar, Ashutosh Deepak Gore, Abhay Kar...
117
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 25 days ago
Changing Levels of Description in a Fluid Flow Simulation
We described here our perception of complex systems, of how we feel the different layers of description are an important part of a correct complex system simulation. We described ...
Pierrick Tranouez, Cyrille Bertelle, Damien Olivie...
96
Voted
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 21 days ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
76
Voted
CORR
2004
Springer
88views Education» more  CORR 2004»
15 years 21 days ago
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
Joseph Y. Halpern