Sciweavers

106 search results - page 9 / 22
» A tool for controlled knowledge discovery in spatial domains
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 1 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
KDD
2008
ACM
174views Data Mining» more  KDD 2008»
14 years 8 months ago
Automatic identification of quasi-experimental designs for discovering causal knowledge
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
David D. Jensen, Andrew S. Fast, Brian J. Taylor, ...
HASE
1998
IEEE
13 years 12 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ER
2009
Springer
117views Database» more  ER 2009»
13 years 11 months ago
An Ontology-Based Framework for Geographic Data Integration
Ontologies have been extensively used to model domain-specific knowledge. Recent research has applied ontologies to enhance the discovery and retrieval of geographic data in Spatia...
Vânia Maria Ponte Vidal, Eveline R. Sacramen...
CVPR
2000
IEEE
14 years 9 months ago
Statistical cues for Domain Specific Image Segmentation with Performance Analysis
This paper investigates the use of colour and texture cues for segmentation of images within two specified domains. The first is the Sowerby dataset, which contains one hundred co...
Scott Konishi, Alan L. Yuille