1941 search results - page 255 / 389 » Reasoning about Computations Using Two-Levels of Logic |
116
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
148
Voted
MONET
2007
15 years 3 months ago
2007
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...
126
click to vote
IADIS
2003
15 years 5 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
132
Voted
HPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
121
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...