4835 search results - page 732 / 967 » Refactoring Functional Programs |
108
Voted
3DIM
2007
IEEE
16 years 15 days 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 ...
92
Voted
VMCAI
2010
Springer
15 years 9 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...
101
Voted
FOSSACS
2010
Springer
15 years 7 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...
111
Voted
CP
2009
Springer
15 years 7 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...
100
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...