2414 search results - page 331 / 483 » Computing Normal Subgroups |
84
Voted
SIBGRAPI
2006
IEEE
15 years 4 months ago
2006
IEEE
Traditional mesh segmentation methods normally operate on geometrical models with no image information. On the other hand, 2D image-based mesh generation and segmentation counterp...
SIBGRAPI
2006
IEEE
15 years 4 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...
92
Voted
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
79
Voted
CONEXT
2006
ACM
15 years 4 months ago
2006
ACM
Confronted with the generalization of monitoring in operational networks, researchers have proposed placement algorithms that can help ISPs deploy their monitoring infrastructure ...
HASKELL
2006
ACM
15 years 4 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...