7890 search results - page 1222 / 1578 » The MathSAT 3 System |
220
click to vote
PAMI
2010
15 years 5 months ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
193
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
199
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. In this article, we present a parallel geometric multigrid algorithm for solving elliptic partial differential equations (PDEs) on octree based conforming finite elemen...
194
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
168
click to vote
TCOM
2010
15 years 5 months ago
2010
Abstract—Framed Slotted Aloha (FSA) is a popular anticollision technique in state-of-the-art RF-ID systems, as in ISO/IEC CD 18000-6 for 900MHz or the EPCglobal HF Gen 2 draft fo...