Sciweavers

5456 search results - page 196 / 1092
» General Equilibrium Theory
Sort
View
INFOCOM
2003
IEEE
15 years 11 months ago
A Utility-Based Congestion Control Scheme for Internet-Style Networks with Delay
— In this paper, we develop, analyze and implement a congestion control scheme obtained in a noncooperative game framework where each user’s cost function is composed of a pric...
Tansu Alpcan, Tamer Basar
ICRA
2009
IEEE
232views Robotics» more  ICRA 2009»
16 years 1 months ago
Modeling deformable shell-like objects grasped by a robot hand
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
Jiang Tian, Yan-Bin Jia
ISSTA
2006
ACM
16 years 14 days ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet
LICS
2000
IEEE
15 years 11 months ago
Complete Axioms for Categorical Fixed-Point Operators
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
Alex K. Simpson, Gordon D. Plotkin
FSKD
2008
Springer
113views Fuzzy Logic» more  FSKD 2008»
15 years 7 months ago
Incremental Knowledge Base for Uncertain Reasoning
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
Qingxiang Wu, Xi Huang, David A. Bell, Guilin Qi, ...