17688 search results - page 398 / 3538 » Data Set Balancing |
163
Voted
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
154
click to vote
COCOON
2005
Springer
16 years 8 days ago
2005
Springer
The Satisfactory Partition problem consists of deciding if a given graph has a partition of its vertex set into two nonempty parts such that each vertex has at least as many neighb...
164
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract— Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness...
171
click to vote
VISUAL
2005
Springer
16 years 7 days ago
2005
Springer
The paper describes a modular procedure for automatic correction of redeye artifact in images of unknown origin, maintaining the natural appearance of the eye. First, a smart color...
178
click to vote
CA
2003
IEEE
16 years 1 days ago
2003
IEEE
: We present a novel approach for modeling hair using level-of-detail representations. The set of representations include individual strands, hair clusters, and hair strips. They a...