Sciweavers

8154 search results - page 1430 / 1631
» Understanding changes in use cases: A case study
Sort
View
CCE
2004
15 years 6 months ago
Efficient short-term scheduling of refinery operations based on a continuous time formulation
The problem addressed in this work is to develop a comprehensive mathematical programming model for the efficient scheduling of oil-refinery operations. Our approach is first to d...
Zhenya Jia, Marianthi G. Ierapetritou
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 6 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
CORR
2002
Springer
89views Education» more  CORR 2002»
15 years 6 months ago
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
Claudia V. Goldman, Dan Gang, Jeffrey S. Rosensche...
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 6 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
CORR
2007
Springer
144views Education» more  CORR 2007»
15 years 6 months ago
Heuristics for Network Coding in Wireless Networks
Multicast is a central challenge for emerging multi-hop wireless architectures such as wireless mesh networks, because of its substantial cost in terms of bandwidth. In this artic...
Song Yean Cho, Cedric Adjih, Philippe Jacquet
« Prev « First page 1430 / 1631 Last » Next »