1937 search results - page 302 / 388 » Novel Models in Evolutionary Designing |
164
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
137
Voted
IPM
2007
15 years 3 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
124
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
156
Voted
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
138
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: With the completion of the genome sequences of human, mouse, and other species and the advent of high throughput functional genomic research technologies such as biomi...