4737 search results - page 249 / 948 » The LOGIC negotiation model |
229
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
167
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
185
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
166
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantagesw...
178
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...