Sciweavers

5973 search results - page 1001 / 1195
» Fundamental forms of information
Sort
View
KI
2010
Springer
15 years 4 months ago
Soft Evidential Update via Markov Chain Monte Carlo Inference
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
Dominik Jain, Michael Beetz
LOGCOM
2010
136views more  LOGCOM 2010»
15 years 4 months ago
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
Rajeev Goré, Linda Postniece
LREC
2010
155views Education» more  LREC 2010»
15 years 4 months ago
Virtual Language Observatory: The Portal to the Language Resources and Technology Universe
Over the years, the field of Language Resources and Technology (LRT) has developed a tremendous amount of resources and tools. However, there is no ready-to-use map that researche...
Dieter Van Uytvanck, Claus Zinn, Daan Broeder, Pet...
MICCAI
2010
Springer
15 years 4 months ago
Automated Macular Pathology Diagnosis in Retinal OCT Images Using Multi-Scale Spatial Pyramid with Local Binary Patterns
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...
Yu-Ying Liu, Mei Chen, Hiroshi Ishikawa 0002, Gadi...
MSOM
2010
77views more  MSOM 2010»
15 years 4 months ago
To Wave or Not to Wave? Order Release Policies for Warehouses with an Automated Sorter
Wave-based release policies are prevalent in warehouses with an automated sorter, and take different forms depending on how much waves overlap and whether the sorter is split for...
Jérémie Gallien, Théophane We...
« Prev « First page 1001 / 1195 Last » Next »