2911 search results - page 482 / 583 » A Theory of Expressiveness in Mechanisms |
ISMB
2000
14 years 11 months ago
2000
The immensevolumeof data resulting from DNAmicroarray experiments, accompaniedby an increase in the numberof publications discussing gene-related discoveries, presents a majordata...
AAAI
1996
14 years 11 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
103
click to vote
DILS
2010
Springer
14 years 11 months ago
2010
Springer
Search computing has been proposed to support the integration of the results of search engines with other data and computational resources. In essence, in search computing, search ...
100
click to vote
COMPSAC
2009
IEEE
14 years 11 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...