8766 search results - page 398 / 1754 » Functional logic programming |
106
Voted
PLDI
2010
ACM
16 years 27 days ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
116
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
119
click to vote
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
128
Voted
LACL
2001
Springer
15 years 8 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
117
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...