3238 search results - page 129 / 648 » Multi-return function call |
130
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
139
Voted
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
139
click to vote
PPAM
2005
Springer
15 years 10 months ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
135
click to vote
DMSN
2004
ACM
15 years 10 months ago
2004
ACM
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
117
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...