805 search results - page 127 / 161 » On the Semantics of Conditional Commitment |
120
click to vote
TPDS
2010
15 years 10 days ago
2010
Message passing using the Message Passing Interface (MPI) is at present the most widely adopted framework for programming parallel applications for distributed-memory and clustere...
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this work we introduce a novel approach to object categorization that incorporates two types of context ? cooccurrence and relative location ? with local appearancebased featur...
127
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a novel face recognition method using automatically extracted sketch by a multi-layer grammatical face model. First, the observed face is parsed into a 3layer (face, pa...
126
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
108
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...