Sciweavers

3047 search results - page 203 / 610
» A Temporal Consensus Model
Sort
View
CONCUR
2006
Springer
15 years 8 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 8 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
16 years 27 days 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 ...
ISBRA
2007
Springer
16 years 21 days 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
EUROMICRO
2005
IEEE
16 years 5 days 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