6014 search results - page 971 / 1203 » Structural Testing with Use Cases |
123
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
143
click to vote
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...
173
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...
137
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
162
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Interactive environment-aware display bubbles have been introduced in a novel display metaphor [3] which allows screens to be instantiated with a freeform shape anywhere on demand...