Sciweavers

686 search results - page 70 / 138
» Automatic Model Generation Strategies for Model Transformati...
Sort
View
JAR
2000
97views more  JAR 2000»
15 years 2 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
SIGSOFT
2000
ACM
15 years 7 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
109
Voted
ER
2007
Springer
142views Database» more  ER 2007»
15 years 9 months ago
Automatic Hidden-Web Table Interpretation by Sibling Page Comparison
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
Cui Tao, David W. Embley
ANSS
2000
IEEE
15 years 7 months ago
Simulation of a Telecommunication System Using SimML
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
Neil A. Speirs, L. B. Arief
CLEF
2011
Springer
14 years 3 months ago
Simulation of Within-Session Query Variations Using a Text Segmentation Approach
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
Debasis Ganguly, Johannes Leveling, Gareth J. F. J...