4719 search results - page 710 / 944 » Spreadsheet functional programming |
131
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we show that the proportional response dynamics, a utility based distributed dynamics, converges to the market equilibrium in the Fisher market with consta...
144
click to vote
3DIM
2007
IEEE
16 years 3 months ago
2007
IEEE
Object pose (location and orientation) estimation is a
common task in many computer vision applications. Although
many methods exist, most algorithms need manual
initialization ...
129
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
130
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
144
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...