367 search results - page 25 / 74 » Adapting functional programs to higher order logic |
159
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
161
click to vote
DOCENG
2007
ACM
15 years 9 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
196
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
181
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
173
Voted
AHS
2006
IEEE
15 years 12 months ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...