4835 search results - page 732 / 967 » Refactoring Functional Programs |
130
Voted
3DIM
2007
IEEE
16 years 2 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 ...
112
Voted
VMCAI
2010
Springer
15 years 11 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...
117
Voted
FOSSACS
2010
Springer
15 years 9 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...
131
Voted
CP
2009
Springer
15 years 9 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...
107
Voted
ICSE
2009
IEEE-ACM
15 years 9 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...