Sciweavers

11561 search results - page 1928 / 2313
» Open Distributed Processing
Sort
View
ISORC
2009
IEEE
15 years 11 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ACCV
2009
Springer
15 years 11 months ago
Natural Image Segmentation with Adaptive Texture and Boundary Encoding
We present a novel algorithm for unsupervised segmentation of natural images that harnesses the principle of minimum description length (MDL). Our method is based on observations ...
Shankar Rao, Hossein Mobahi, Allen Y. Yang, Shanka...
ACCV
2009
Springer
15 years 11 months ago
A Smarter Particle Filter
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
Xiaoqin Zhang, Weiming Hu, Steve J. Maybank
AIED
2009
Springer
15 years 11 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, ...
ATAL
2009
Springer
15 years 11 months ago
Lossless clustering of histories in decentralized POMDPs
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J....
« Prev « First page 1928 / 2313 Last » Next »