Sciweavers

2314 search results - page 214 / 463
» Monoids over domains
Sort
View
ICML
1989
IEEE
15 years 10 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
CIARP
2009
Springer
15 years 10 months ago
Filter Banks for Hyperspectral Pixel Classification of Satellite Images
Abstract. Satellite hyperspectral imaging deals with heterogenous images containing different texture areas. Filter banks are frequently used to characterize textures in the image ...
Olga Rajadell, Pedro García-Sevilla, Filibe...
FMCAD
2007
Springer
15 years 10 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
HASE
2007
IEEE
15 years 10 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
ICCV
2007
IEEE
15 years 10 months ago
USSR: A Unified Framework for Simultaneous Smoothing, Segmentation, and Registration of Multiple Images
Image smoothing, segmentation and registration are three key processing steps in many computer vision applications. In this paper, we present a novel framework for achieving all t...
Nicholas A. Lord, Jeffrey Ho, Baba C. Vemuri