Sciweavers

10458 search results - page 1997 / 2092
» Modeling Features at Runtime
Sort
View
PAMI
2006
155views more  PAMI 2006»
13 years 8 months ago
Validating a Biometric Authentication System: Sample Size Requirements
Authentication systems based on biometric features (e.g., fingerprint impressions, iris scans, human face images, etc.) are increasingly gaining widespread use and popularity. Ofte...
Sarat C. Dass, Yongfang Zhu, Anil K. Jain
SIAMSC
2008
149views more  SIAMSC 2008»
13 years 8 months ago
Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
Peter Deuflhard, Wilhelm Huisinga, T. Jahnke, Mich...
SLOGICA
2008
101views more  SLOGICA 2008»
13 years 8 months ago
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
Alexandru Baltag, Sonja Smets
IJON
2007
90views more  IJON 2007»
13 years 8 months ago
Storage of auditory temporal patterns in the songbird telencephalon
A quantitative model of auditory learning is presented to predict how auditory patterns are stored in the songbird auditory forebrain. This research focuses on the caudomedial nid...
Patrick D. Roberts, Roberto A. Santiago, Tarciso V...
JAIR
2007
117views more  JAIR 2007»
13 years 8 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
« Prev « First page 1997 / 2092 Last » Next »