Sciweavers

1357 search results - page 241 / 272
» Compositional analysis for linear systems
Sort
View
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
14 years 3 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISCIS
2005
Springer
14 years 3 months ago
Selection and Extraction of Patch Descriptors for 3D Face Recognition
In 3D face recognition systems, 3D facial shape information plays an important role. 3D face recognizers usually depend on point cloud representation of faces where faces are repre...
Berk Gökberk, Lale Akarun
CSCW
2004
ACM
14 years 3 months ago
Predictors of availability in home life context-mediated communication
A number of studies have explored issues of interruption and availability in workplace environments, but few have examined how attitudes toward availability play out in home life....
Kristine S. Nagel, James M. Hudson, Gregory D. Abo...
ICIAR
2004
Springer
14 years 3 months ago
Appearance-Based Object Detection in Space-Variant Images: A Multi-model Approach
Recently, log-polar images have been successfully used in active-vision tasks such as vergence control or target tracking. However, while the role of foveal data has been exploited...
V. Javier Traver, Alexandre Bernardino, Plinio Mor...
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
14 years 3 months ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...