5235 search results - page 690 / 1047 » Analysis of Multithreaded Programs |
203
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe in this paper a method for 3D shape indexing and retrieval that we apply on three data collections of the SHREC SHape Retrieval Contest 2008: Stability on watertight, ...
249
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper describes a lexicon driven approach for word recognition on handwritten documents using Conditional Random Fields(CRFs). CRFs are discriminative models and do not make a...
193
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
139
click to vote
ACG
2006
Springer
16 years 22 days ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
159
click to vote
APLAS
2006
ACM
16 years 21 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...