3758 search results - page 381 / 752 » A Complete Subsumption Algorithm |
195
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Orienting parts that measure only a few micrometers in diameter introduces several challenges that need not be considered at the macro-scale. First, there are several kinds of sti...
142
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Upon completion of the human and mouse genome sequences, world-wide sequencing capacity will turn to other complex organisms. Current strategies call for many of these genomes to ...
177
Voted
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
Overall efficiency of high-performance computing clusters not only relies on the computing power of the individual nodes, but also on the performance that the underlying network c...
211
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...