Sciweavers

1255 search results - page 216 / 251
» Nonparametric Background Generation
Sort
View
118
Voted
WSC
2008
15 years 2 months ago
Introducing age-based parameters into simulations of crowd dymanics
Very few crowds consist of individuals who are exactly the same. Defining variables, such as age, and how they affect an individual's movement, could increase realism in simu...
D. J. Kaup, Thomas L. Clarke, Rex Oleson, Linda C....
112
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
101
Voted
MIE
2008
149views Healthcare» more  MIE 2008»
15 years 1 months ago
An automated method for analyzing adherence to therapeutic guidelines: Application in Diabetes
Background: Physicians' adherence to guidelines can be used for measuring prescribing appropriateness. We present a simple approach allowing the automation of this process. De...
Massoud Toussi, Vahid Ebrahiminia, Philippe Le Tou...
132
Voted
AAAI
2006
15 years 1 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
ADCS
2004
15 years 1 months ago
On the Effectiveness of Relevance Profiling
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
David J. Harper, David Lee