Sciweavers

1143 search results - page 115 / 229
» Mental models of recursion
Sort
View
TLCA
2005
Springer
14 years 2 months ago
Relational Reasoning in a Nominal Semantics for Storage
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
Nick Benton, Benjamin Leperchey
ATAL
2003
Springer
14 years 2 months ago
A Taxonomy of Autonomy in Multiagent Organisation
Abstract. Starting from a general definition of how to model the organisation of multiagent systems with the aid of holonic structures, we discuss design parameters for such struc...
Michael Schillo, Klaus Fischer
KDD
1995
ACM
182views Data Mining» more  KDD 1995»
14 years 21 days ago
Accelerated Quantification of Bayesian Networks with Incomplete Data
Probabilistic expert systemsbased on Bayesian networks(BNs)require initial specification both a qualitative graphical structure and quantitative assessmentof conditional probabili...
Bo Thiesson
PRL
2006
153views more  PRL 2006»
13 years 9 months ago
Efficient adaptive density estimation per image pixel for the task of background subtraction
We analyze the computer vision task of pixel-level background subtraction. We present recursive equations that are used to constantly update the parameters of a Gaussian mixture m...
Zoran Zivkovic, Ferdinand van der Heijden
CVPR
2003
IEEE
14 years 11 months ago
Using Multiple Cues for Hand Tracking and Model Refinement
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...
Shan Lu, Dimitris N. Metaxas, Dimitris Samaras, Jo...