Sciweavers

3387 search results - page 108 / 678
» Automating the Metamodeling Process
Sort
View
LICS
2006
IEEE
15 years 10 months ago
Coinductive Proof Principles for Stochastic Processes
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
Dexter Kozen
IPAW
2010
15 years 2 months ago
Using Data Lineage for Sub-image Processing
In the paper, we show that lineage data collected during the processing and analysis of datasets can be reused to perform selective reprocessing (at sub-image level) on datasets wh...
Johnson Mwebaze, John McFarland, Danny Boxhoorn, H...
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 9 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
AAAI
2000
15 years 5 months ago
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...
Natalya Fridman Noy, Mark A. Musen
IVS
2007
110views more  IVS 2007»
15 years 4 months ago
An automated approach for the optimization of pixel-based visualizations
During the last two decades, a wide variety of advanced methods for the visual exploration of large data sets have been proposed. For most of these techniques user interaction has...
Jörn Schneidewind, Mike Sips, Daniel A. Keim