Sciweavers

5352 search results - page 307 / 1071
» Modeling the socio-cultural context
Sort
View
FAC
2006
104views more  FAC 2006»
15 years 6 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne
CSDA
2007
117views more  CSDA 2007»
15 years 6 months ago
Smoothing splines estimators in functional linear regression with errors-in-variables
The Total Least Squares method is generalized in the context of the functional linear model. A smoothing splines estimator of the functional coefficient of the model is first prop...
Hervé Cardot, Christophe Crambes, Alois Kne...
AAAI
2007
15 years 9 months ago
Minimal Mental Models
Agents must form and update mental models about each other in a wide range of domains: team coordination, plan recognition, social simulation, user modeling, games of incomplete i...
David V. Pynadath, Stacy Marsella
SOCO
2009
Springer
16 years 1 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
SPAA
1998
ACM
15 years 11 months ago
Computation-Centric Memory Models
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
Matteo Frigo, Victor Luchangco