Sciweavers

343 search results - page 35 / 69
» Normal State Implicature
Sort
View
89
Voted
ENTCS
2006
114views more  ENTCS 2006»
14 years 9 months ago
Synthesis of Mealy Machines Using Derivatives
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutte...
JMIV
2006
94views more  JMIV 2006»
14 years 9 months ago
Geodesic Shooting for Computational Anatomy
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
Michael I. Miller, Alain Trouvé, Laurent Yo...
COMPSEC
2004
91views more  COMPSEC 2004»
14 years 9 months ago
Predicting the intrusion intentions by observing system call sequences
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
Li Feng, Xiaohong Guan, Sangang Guo, Yan Gao, Pein...
CIARP
2010
Springer
14 years 8 months ago
Improving Face Segmentation in Thermograms Using Image Signatures
Abstract. The aim of this paper is to present a method for the automatic segmentation of face images captured in Long Wavelength Infrared (LWIR), allowing for a large range of face...
Silvio Filipe, Luís A. Alexandre
ICASSP
2011
IEEE
14 years 1 months ago
Modified embedding for multi-regime detection in nonstationary streaming data
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...
Evan Kriminger, José Carlos Príncipe...