Sciweavers

3475 search results - page 506 / 695
» A DEA approach for model combination
Sort
View
ISBI
2004
IEEE
16 years 7 months ago
Enhancement of Microtubules In EM Tomography
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
Ming Jiang 0004, Qiang Ji, Bruce F. McEwen
WWW
2008
ACM
16 years 7 months ago
Querying for meta knowledge
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
Bernhard Schueler, Sergej Sizov, Steffen Staab, Du...
CAV
2009
Springer
182views Hardware» more  CAV 2009»
16 years 1 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
AIED
2009
Springer
16 years 1 months ago
Assessing Student Paraphrases Using Lexical Semantics and Word Weighting
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
Vasile Rus, Mihai C. Lintean, Arthur C. Graesser, ...
ARGMAS
2007
Springer
16 years 22 days ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...