Sciweavers

275 search results - page 34 / 55
» Reengineering Class Hierarchies Using Concept Analysis
Sort
View
110
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 6 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
STOC
2002
ACM
121views Algorithms» more  STOC 2002»
16 years 2 months ago
Average case analysis for batched disk scheduling and increasing subsequences
We consider the problem of estimating the tour length and finding approximation algorithms for the asymmetric traveling salesman problem arising from the disk scheduling problem. ...
Eitan Bachmat
ANLP
1992
126views more  ANLP 1992»
15 years 3 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe
BMCBI
2011
14 years 9 months ago
Logical Development of the Cell Ontology
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
Terrence F. Meehan, Anna Maria Masci, Amina Abdull...
154
Voted
CIVR
2005
Springer
144views Image Analysis» more  CIVR 2005»
15 years 7 months ago
A Weakly Supervised Approach for Semantic Image Indexing and Retrieval
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
Nicolas Maillot, Monique Thonnat