2851 search results - page 478 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
171
click to vote
CDVE
2007
Springer
16 years 1 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
163
click to vote
COMPGEOM
2010
ACM
15 years 9 months ago
2010
ACM
We give a provably correct algorithm to reconstruct a kdimensional manifold embedded in d-dimensional Euclidean space. Input to our algorithm is a point sample coming from an unkn...
181
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
173
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...
181
click to vote
AAI
2007
15 years 6 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...