4716 search results - page 708 / 944 » Tangible functional programming |
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We present a randomized subexponential time, polynomial space parameterized algorithm for the k-Weighted Feedback Arc Set in Tournaments (k-FAST) problem. We also show that our alg...
86
Voted
ICALP
2009
Springer
15 years 11 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...
93
Voted
3DIM
2007
IEEE
15 years 11 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 ...
VMCAI
2010
Springer
15 years 8 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...
FOSSACS
2010
Springer
15 years 6 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...