1598 search results - page 183 / 320 » A Unified Computation Model for Functional and Logic Program... |
202
click to vote
CSI
2007
15 years 6 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
147
click to vote
AIMSA
2000
Springer
15 years 10 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
154
click to vote
IAT
2006
IEEE
16 years 12 days ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
156
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
175
click to vote
GPEM
2008
15 years 6 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...