Sciweavers

1567 search results - page 133 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
IJAR
2007
87views more  IJAR 2007»
15 years 1 months ago
Pruning belief decision tree methods in averaging and conjunctive approaches
The belief decision tree (BDT) approach is a decision tree in an uncertain environment where the uncertainty is represented through the Transferable Belief Model (TBM), one interp...
Salsabil Trabelsi, Zied Elouedi, Khaled Mellouli
COMPGEOM
2010
ACM
15 years 6 months ago
Geometric tomography with topological guarantees
We consider the problem of reconstructing a compact 3manifold (with boundary) embedded in R3 from its crosssections with a given set of cutting planes having arbitrary orientation...
Omid Amini, Jean-Daniel Boissonnat, Pooran Memari
ABIALS
2008
Springer
15 years 8 months ago
A Neurocomputational Model of Anticipation and Sustained Inattentional Blindness in Hierarchies
Anticipation and prediction have been identified as key functions of many brain areas facilitating recognition, perception, and planning. In this chapter we present a hierarchical ...
Anthony F. Morse, Robert Lowe, Tom Ziemke
113
Voted
OSDI
1994
ACM
15 years 3 months ago
A Caching Model of Operating System Kernel Functionality
Operating system research has endeavored to develop micro-kernels that provide modularity, reliability and security improvements over conventional monolithic kernels. However, the...
David R. Cheriton, Kenneth J. Duda
142
Voted
MM
2005
ACM
250views Multimedia» more  MM 2005»
15 years 7 months ago
An object-based video coding framework for video sequences obtained from static cameras
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
Asaad Hakeem, Khurram Shafique, Mubarak Shah