2701 search results - page 57 / 541 » On the form of witness terms |
CHI
1993
ACM
15 years 4 months ago
1993
ACM
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
15 years 6 months ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper advocates an implicit-surface representation of generic 3?D surfaces to take advantage of occluding edges in a very robust way. This lets us exploit silhouette constrai...
DAC
2007
ACM
16 years 25 days ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
COMBINATORICS
2007
14 years 12 months ago
2007
A closed knight’s tour of a chessboard uses legal moves of the knight to visit every square exactly once and return to its starting position. When the chessboard is translated i...