1631 search results - page 21 / 327 » Observing Functional Logic Computations |
150
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
176
Voted
GEOINFORMATICA
2011
14 years 10 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
133
click to vote
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
109
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
This paper shows a method to decompose a given multipleoutput circuit into two circuits with intermediate outputs. We use a BDD for characteristic function (BDD for CF) to represe...
125
Voted
UAI
2003
15 years 4 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...