Sciweavers

534 search results - page 85 / 107
» Model Uncertainty in Classical Conditioning
Sort
View
LICS
2005
IEEE
14 years 1 months ago
Modal Characterisation Theorems over Special Classes of Frames
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā€...
Anuj Dawar, Martin Otto
CMPB
2010
171views more  CMPB 2010»
13 years 3 months ago
Metabolica: A statistical research tool for analyzing metabolic networks
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
Jenni Heino, Daniela Calvetti, Erkki Somersalo
SOCO
2010
Springer
13 years 6 months ago
Automatic detection of trends in time-stamped sequences: an evolutionary approach
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientiļ¬c journal artic...
Lourdes Araujo, Juan Julián Merelo Guerv&oa...
AAAI
2008
13 years 10 months ago
CIGAR: Concurrent and Interleaving Goal and Activity Recognition
In artificial intelligence and pervasive computing research, inferring users' high-level goals from activity sequences is an important task. A major challenge in goal recogni...
Derek Hao Hu, Qiang Yang
PAMI
2011
13 years 3 months ago
3D Face Reconstruction from a Single Image Using a Single Reference Face Shape
ā€”Human faces are remarkably similar in global properties, including size, aspect ratio, and location of main features, but can vary considerably in details across individuals, ge...
Ira Kemelmacher-Shlizerman, Ronen Basri