2790 search results - page 460 / 558 » A generative theory of relevance |
180
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
182
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
161
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Notions of fairness have recently received increased attention in the context of resource allocation problems, pushed by diverse applications where not only pure utilitarian effic...
164
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
182
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...