6762 search results - page 3 / 1353 » Multiple drafts model |
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
IJWIS
2008
13 years 5 months ago
2008
Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
POPL
2011
ACM
12 years 8 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Book
A DRAFT computer vision book by Prof. Richard Szeliski. The book reflects the author's wide experience in practical computer vision algorithms that he has developed while work...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
This work relates to the implementation of a 2D conditional random field model in the context of document image analysis. Our model makes it possible to take variability into acco...