4000 search results - page 136 / 800 » Simulation down under |
157
Voted
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
Research on relevance feedback (RFB) in information retrieval (IR) has given mixed results. Success in RFB seems to depend on the searcher's willingness to provide feedback a...
125
click to vote
IJACTAICIT
2010
15 years 24 days ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
86
Voted
RECOMB
2002
Springer
16 years 3 months ago
2002
Springer
A new method is presented for use in simulating samples of disease and normal chromosomes bearing multiple linked genetic markers under a neutral model of mutation, genetic drift, ...
102
Voted
ICCD
2004
IEEE
16 years 13 days ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
113
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...