1871 search results - page 353 / 375 » Selecting for evolvable representations |
207
click to vote
POPL
2007
ACM
16 years 23 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
107
Voted
RECOMB
2008
Springer
16 years 23 days ago
2008
Springer
Abstract. In engineering protein variants by constructing and screening combinatorial libraries of chimeric proteins, two complementary and competing goals are desired: the new pro...
190
Voted
VLDB
2005
ACM
16 years 21 days ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
207
click to vote
SIGMOD
2009
ACM
16 years 21 days ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
183
Voted
SIGMOD
2008
ACM
16 years 18 days ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...