Sciweavers

6141 search results - page 419 / 1229
» Models and representation of their ownership
Sort
View
IEE
1998
102views more  IEE 1998»
15 years 6 months ago
Visualising action contracts in object-oriented modelling
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
Stuart Kent, Joseph Gil
PSYCHNOLOGY
2010
82views more  PSYCHNOLOGY 2010»
15 years 5 months ago
Advancing a Model of Avatar Evaluation and Selection
Viewers (N = 261) evaluated and chose avatars to represent them online. The viewers rated 92 potential avatars that were manipulated along three dimensions – sex, humanness, and...
Mark A. Hamilton, Kristine L. Nowak
TCS
2011
15 years 1 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
PPSN
1994
Springer
15 years 11 months ago
RPL2: A Language and Parallel Framework for Evolutionary Computing
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
Patrick D. Surry, Nicholas J. Radcliffe
CVPR
2005
IEEE
16 years 9 months ago
Learning to Track: Conceptual Manifold Map for Closed-Form Tracking
Our objective is to model the visual manifold of object appearance corresponding to geometric transformation. We learn a generative model for object appearance where the appearanc...
Ahmed M. Elgammal