Sciweavers

351 search results - page 44 / 71
» Utility Ontology Development with Formal Concept Analysis
Sort
View
81
Voted
ICUIMC
2009
ACM
15 years 4 months ago
Metadata management for integration and analysis of earth observation data
Earth observation technologies have developed rapidly during the last decades. Substantial amounts of earth observation data have been acquired and stored among the literature and...
Akira Takahashi, Masashi Tatedoko, Hiroko Kinutani...
86
Voted
NDJFL
2000
97views more  NDJFL 2000»
14 years 10 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright
80
Voted
DILS
2005
Springer
15 years 3 months ago
Hybrid Integration of Molecular-Biological Annotation Data
: We present a new approach to integrate annotation data from public sources for the expression analysis of genes and proteins. Expression data is materialized in a data warehouse ...
Toralf Kirsten, Hong Hai Do, Christine Körner...
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 2 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
HICSS
2008
IEEE
101views Biometrics» more  HICSS 2008»
15 years 4 months ago
The Value of Weak vs. Strong Ties between Individuals and Projects for New Product Review
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
Lynne P. Cooper