Sciweavers

6343 search results - page 896 / 1269
» Development of a Cartographic Language
Sort
View
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 10 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
FQAS
2000
Springer
80views Database» more  FQAS 2000»
15 years 10 months ago
A Knowledge Scout for Discovering Medical Patterns: Methodology and System SCAMP
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
Kenneth A. Kaufman, Ryszard S. Michalski
SIGIR
1998
ACM
15 years 10 months ago
Automatic Acquisition of Phrasal Knowledge for English-Chinese Bilingual Information Retrieval
Extraction of phrasal knowledge, such as proper names, domain-specific keyphrases and lexical templates from a domain-specific text collection are significant for developing effec...
Ming-Jer Lee, Lee-Feng Chien
CHI
1995
ACM
15 years 10 months ago
Hyper-G and harmony: towards the next generation of networked information technology
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
Keith Andrews, Frank Kappe, Hermann A. Maurer
ER
1995
Springer
109views Database» more  ER 1995»
15 years 10 months ago
Reverse Engineering of Relational Database Applications
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
Mark W. W. Vermeer, Peter M. G. Apers