Sciweavers

607 search results - page 77 / 122
» An efficient method to represent and process imprecise knowl...
Sort
View
CAV
2004
Springer
93views Hardware» more  CAV 2004»
14 years 1 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
ISMIS
2003
Springer
14 years 26 days ago
Space Transformation Based Approach for Effective Content-Based Image Retrieval
In this paper, we extend the work done by Choubey and Raghavan, which proposed an approach to content-based image retrieval that uses the space transformation methods proposed by G...
Biren Shah, Vijay V. Raghavan
SEMWEB
2010
Springer
13 years 5 months ago
Enterprise Data Classification Using Semantic Web Technologies
Organizations today collect and store large amounts of data in various formats and locations. However they are sometimes required to locate all instances of a certain type of data....
David Ben-David, Tamar Domany, Abigail Tarem
BMCBI
2004
113views more  BMCBI 2004»
13 years 7 months ago
Influence of microarrays experiments missing values on the stability of gene groups by hierarchical clustering
Background: Microarray technologies produced large amount of data. The hierarchical clustering is commonly used to identify clusters of co-expressed genes. However, microarray dat...
Alexandre G. de Brevern, Serge A. Hazout, Alain Ma...
OTM
2004
Springer
14 years 1 months ago
Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...
Pieter De Leenheer