Sciweavers

3047 search results - page 203 / 610
» A Temporal Consensus Model
Sort
View
CONCUR
2006
Springer
15 years 7 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
ICCV
2001
IEEE
16 years 7 months ago
Statistical Context Priming for Object Detection
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
Antonio B. Torralba, Pawan Sinha
CBMS
2007
IEEE
15 years 12 months ago
Embedding the Evidence Information in Guideline Representation Languages
Clinical practice guidelines are widely used to support medical staff in treatment planning and decision-making, whereas, the classification of different recommendations in the C...
Alime Öztürk, Katharina Kaiser, Patrick ...
122
Voted
ISBRA
2007
Springer
15 years 11 months ago
Estimating Bacterial Diversity from Environmental DNA: A Maximum Likelihood Approach
The ability to measure bacterial diversity is a prerequisite for the systematic study of bacterial biogeography and ecology. In this paper we describe a method of estimating divers...
Frederick Cohan, Danny Krizanc, Yun Lu
116
Voted
EUROMICRO
2005
IEEE
15 years 11 months ago
QoSOnt: a QoS Ontology for Service-Centric Systems
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
Glen Dobson, Russell Lock, Ian Sommerville