Sciweavers

3814 search results - page 330 / 763
» YAPI: application modeling for signal processing systems
Sort
View
EUSFLAT
2003
134views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Fuzzy approaches to access information on the web: recent developments and research trends
In this paper some research trends are presented concerning the application of fuzzy techniques to model flexible systems for the access to information on the WWW. The focus is o...
Enrique Herrera-Viedma, Gabriella Pasi
PR
2002
88views more  PR 2002»
15 years 6 months ago
Indexing chromatic and achromatic patterns for content-based colour image retrieval
In this paper, we present a method to represent achromatic and chromatic image signals independently for content-based image indexing and retrieval for image database applications...
Guoping Qiu
CONCUR
2003
Springer
16 years 42 min ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
PPOPP
1990
ACM
15 years 10 months ago
Multi-Model Parallel Programming in Psyche
Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been...
Michael L. Scott, Thomas J. LeBlanc, Brian D. Mars...