2008 search results - page 175 / 402 » Computing with Equations |
107
click to vote
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
121
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
118
click to vote
SIGCOMM
2005
ACM
15 years 8 months ago
2005
ACM
We study limitations of an equation-based congestion control protocol, called TFRC (TCP Friendly Rate Control). It examines how the three main factors that determine TFRC throughp...
132
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
This paper is aimed at calibrating the relative posture and position, i.e. extrinsic parameters, of a stationary camera against a 3D reference object which is not directly visible...
116
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...