15754 search results - page 772 / 3151 » Programs are Knowledge Bases |
184
click to vote
PLPV
2010
ACM
16 years 4 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
188
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...
215
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
170
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
204
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...