1598 search results - page 56 / 320 » A Unified Computation Model for Functional and Logic Program... |
204
click to vote
FCCM
2008
IEEE
16 years 15 days ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
155
Voted
ICLP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
156
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The recognition of functional binding sites in genomic DNA remains one of the fundamental challenges of genome research. During the last decades, a plethora of differe...
173
click to vote
PLILP
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
149
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...