8298 search results - page 1469 / 1660 » On the Complexity of Numerical Analysis |
171
click to vote
COMPGEOM
2006
ACM
16 years 17 days ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
175
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
213
click to vote
CSB
2005
IEEE
16 years 6 days ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
172
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...
200
click to vote
PASTE
2005
ACM
16 years 4 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...