1557 search results - page 20 / 312 » Programming up to Congruence |
IIS
2000
15 years 5 days ago
2000
This paper reports briefly on the development of a new approach to evolutionary computation, called the Learnable Evolution Model or LEM. In contrast to conventional Darwinian-typ...
HCI
2009
14 years 8 months ago
2009
The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp techno...
108
click to vote
EWSN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
118
Voted
EUSAI
2007
Springer
15 years 5 months ago
2007
Springer
Context-aware systems allow users to access services and multimedia data according to their current context (location, identity, preferences). Web 2.0 fosters user contribution and...
56
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...