Sciweavers

2960 search results - page 231 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
UAI
2008
15 years 8 months ago
Church: a language for generative models
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
Noah Goodman, Vikash K. Mansinghka, Daniel M. Roy,...
FMSD
2006
140views more  FMSD 2006»
15 years 6 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
ECCV
2006
Springer
16 years 8 months ago
Gait Recognition Using a View Transformation Model in the Frequency Domain
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...
Yasushi Makihara, Ryusuke Sagawa, Yasuhiro Mukaiga...
ICIP
2007
IEEE
16 years 8 months ago
Modeling of Front Evolution with Graph Cut Optimization
In this paper, we present a novel active contour model, in which the traditional gradient descent optimization is replaced by graph cut optimization. The basic idea is to first de...
Hang Chang, Qing Yang, Manfred Auer, Bahram Parvin
CHI
2005
ACM
16 years 6 months ago
Predicting task execution time on handheld devices using the keystroke-level model
The Keystroke-Level Model (KLM) has been shown to predict skilled use of desktop systems, but has not been validated on a handheld device that uses a stylus instead of a keyboard....
Lu Luo, Bonnie E. John