7167 search results - page 297 / 1434 » A Technique for Invariant Generation |
297
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
207
click to vote
IMR
2004
Springer
16 years 25 days ago
2004
Springer
Sweep method is one of the most robust techniques to generate hexahedral meshes in extrusion volumes. One of the main issues to be dealt by any sweep algorithm is the projection o...
188
click to vote
ICDM
2003
IEEE
16 years 22 days ago
2003
IEEE
We present a framework for clustering distributed data in unsupervised and semi-supervised scenarios, taking into account privacy requirements and communication costs. Rather than...
200
click to vote
WISE
2003
Springer
16 years 22 days ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
204
click to vote
GLVLSI
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper develops new techniques for detecting both stuck-open faults and resistive open faults, which result in increased delays along some paths. The improved detection of CMO...