886 search results - page 147 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
Recursive subdivision schemes have been extensively used in computer graphics and scientific visualization for modeling smooth surfaces of arbitrary topology. Recursive subdivisi...
FDG
2009
ACM
15 years 4 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of estimating the 3D shape and reflectance properties of an object made of a single material from a calibrated set of multiple views. To model reflectance, ...
BMCBI
2010
14 years 10 months ago
2010
Background: Automated protein function prediction methods are the only practical approach for assigning functions to genes obtained from model organisms. Many of the previously re...
SIGMOD
2002
ACM
15 years 10 months ago
2002
ACM
This paper addresses the problem of evaluating ranked top-? queries with expensive predicates. As major DBMSs now all support expensive user-defined predicates for Boolean queries...