488 search results - page 39 / 98 » Weighted Logics for Traces |
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
103
click to vote
CSL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper studies linear prediction algorithms for packet-delay modeling. A detailed examination of the delay traces collected from video streams encoded at different bitrates, s...
ISBI
2008
IEEE
15 years 6 months ago
2008
IEEE
Cardiac myofibrilles bundles in the human heart can be located by iteratively tracing the local water diffusion direction inferred from diffusion weighted MRI images. This well k...
117
click to vote
COLING
2008
15 years 1 months ago
2008
This paper explores the use of the homotopy method for training a semi-supervised Hidden Markov Model (HMM) used for sequence labeling. We provide a novel polynomial-time algorith...