886 search results - page 71 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
118
Voted
ICCV
1998
IEEE
16 years 4 months ago
1998
IEEE
A new dynamic subdivision surface model is proposed for shape recovery from 3D data sets. The model inherits the attractive properties of the Catmull-Clark subdivision scheme and ...
134
Voted
MEMOCODE
2010
IEEE
15 years 20 days ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
148
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
148
Voted
WISE
2002
Springer
15 years 7 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
135
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...