Sciweavers

2556 search results - page 33 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ICONIP
2007
15 years 3 months ago
A System Model for Real-Time Sensorimotor Processing in Brain
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
Yutaka Sakaguchi
ICML
2010
IEEE
15 years 3 months ago
Modeling Transfer Learning in Human Categorization with the Hierarchical Dirichlet Process
Transfer learning can be described as the tion of abstract knowledge from one learning domain or task and the reuse of that knowledge in a related domain or task. In categorizatio...
Kevin R. Canini, Mikhail M. Shashkov, Thomas L. Gr...
QEST
2010
IEEE
14 years 12 months ago
Timed Branching Processes
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
Ashutosh Trivedi, Dominik Wojtczak
91
Voted
MIE
2008
140views Healthcare» more  MIE 2008»
15 years 3 months ago
Clinical Processes in an Innovative Vascular Surgeon Community. Implications for Workflow Modeling
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
Berit Brattheim, Andreas R. Seim, Arild Faxvaag
APLAS
2010
ACM
15 years 2 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi