Sciweavers

1261 search results - page 203 / 253
» A Hierarchy of Temporal Properties
Sort
View
SPIN
2010
Springer
13 years 7 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
JOCN
2011
123views more  JOCN 2011»
13 years 3 months ago
Neural Correlates of Abstract Verb Processing
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...
Javier Rodríguez-Ferreiro, Silvia P. Gennar...
TITB
2010
123views Education» more  TITB 2010»
13 years 3 months ago
The pseudotemporal bootstrap for predicting glaucoma from cross-sectional visual field data
Progressive loss of the field of vision is characteristic of a number of eye diseases such as glaucoma, a leading cause of irreversible blindness in the world. Recently, there has ...
Allan Tucker, David Garway-Heath
CVPR
2009
IEEE
1070views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Surface Feature Detection and Description with Applications to Mesh Matching
In this paper we revisit local feature detectors/descriptors developed for 2D images and extend them to the more general framework of scalar fields defined on 2D manifolds. We pro...
Andrei Zaharescu (INRIA Grenoble), Edmond Boyer (L...
CVPR
2007
IEEE
14 years 11 months ago
Sensor noise modeling using the Skellam distribution: Application to the color edge detection
In this paper, we introduce the Skellam distribution as a sensor noise model for CCD or CMOS cameras. This is derived from the Poisson distribution of photons that determine the s...
Youngbae Hwang, Jun-Sik Kim, In-So Kweon