Sciweavers

2071 search results - page 321 / 415
» An Empirical Evaluation of LFG-DOP
Sort
View
80
Voted
CSDA
2008
79views more  CSDA 2008»
15 years 23 days ago
Varying-coefficient single-index model
Abstract. To study the relationship between the levels of chemical pollutants and the number of daily total hospital admissions for respiratory diseases and to find the effect of t...
Heung Wong, Wai-Cheung Ip, Riquan Zhang
ENTCS
2008
132views more  ENTCS 2008»
15 years 23 days ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
110
Voted
ENTCS
2008
87views more  ENTCS 2008»
15 years 23 days ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
116
Voted
COGSCI
2006
127views more  COGSCI 2006»
15 years 22 days ago
Decision Making and Confidence Given Uncertain Advice
We study human decision making in a simple forced-choice task that manipulates the frequency and accuracy of available information. Empirically, we find that people make decisions...
Michael D. Lee, Matthew J. Dry
96
Voted
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 22 days ago
Automatic annotation of multilingual text collections with a conceptual thesaurus
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
Bruno Pouliquen, Ralf Steinberger, Camelia Ignat