Sciweavers

985 search results - page 129 / 197
» A Caching Model of Operating System Kernel Functionality
Sort
View
LFCS
2007
Springer
16 years 8 days ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
RTCSA
1999
IEEE
15 years 10 months ago
Incorporating Error Recovery into the Imprecise Computation Model
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
CVIU
2008
203views more  CVIU 2008»
15 years 6 months ago
A computer vision model for visual-object-based attention and eye movements
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
Yaoru Sun, Robert B. Fisher, Fang Wang, Herman Mar...
JMLR
2011
148views more  JMLR 2011»
15 years 1 months ago
Multitask Sparsity via Maximum Entropy Discrimination
A multitask learning framework is developed for discriminative classification and regression where multiple large-margin linear classifiers are estimated for different predictio...
Tony Jebara
WSC
2007
15 years 8 months ago
Merging six emergency departments into one: a simulation approach
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
Martin J. Miller, David M. Ferrin, Marshall Ashby,...