Sciweavers

223 search results - page 38 / 45
» Automated Implicit Computational Complexity Analysis (System...
Sort
View
EDOC
2007
IEEE
15 years 6 months ago
Providing Support for Model Composition in Metamodels
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
Robert B. France, Franck Fleurey, Raghu Reddy, Ben...
META
1992
15 years 3 months ago
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
Maurice Bruynooghe, Gerda Janssens
HICSS
2006
IEEE
133views Biometrics» more  HICSS 2006»
15 years 5 months ago
Being Literate with Large Document Collections: Observational Studies and Cost Structure Tradeoffs
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
Daniel M. Russell, Malcolm Slaney, Yan Qu, Mave Ho...
ICDAR
2011
IEEE
13 years 11 months ago
Chinese Chess Character Recognition with Radial Harmonic Fourier Moments
—Radial harmonic Fourier moments (RHFMs) are invariant to translation, rotation, scaling and intensity, which own excellent image description ability, noise-resistant power, and ...
Kejia Wang, Honggang Zhang, Ziliang Ping, Haiying
SC
2005
ACM
15 years 5 months ago
Intelligent Feature Extraction and Tracking for Visualizing Large-Scale 4D Flow Simulations
Terascale simulations produce data that is vast in spatial, temporal, and variable domains, creating a formidable challenge for subsequent analysis. Feature extraction as a data r...
Fan-Yin Tzeng, Kwan-Liu Ma