Sciweavers

4252 search results - page 371 / 851
» Measuring Component Adaptation
Sort
View
ICDAR
2003
IEEE
16 years 1 days ago
Word Searching in CCITT Group 4 Compressed Document Images
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
Yue Lu, Chew Lim Tan
IV
2003
IEEE
92views Visualization» more  IV 2003»
16 years 1 days ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
RSP
1999
IEEE
15 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 10 months ago
Discrimination of metabolic flux profiles using a hybrid evolutionary algorithm
Studying metabolic fluxes is a crucial aspect of understanding biological phenotypes. However, it is often not possible to measure these fluxes directly. As an alternative, fluxom...
Stefan Bleuler, Eckart Zitzler
ATS
2004
IEEE
109views Hardware» more  ATS 2004»
15 years 10 months ago
Reconfiguration for Enhanced ALternate Test (REALTest) of Analog Circuits
An efficient design for test methodology to increase the test yield of analog circuits is presented. It is assumed that the analog circuits are tested using alternate tests that r...
Ganesh Srinivasan, Shalabh Goyal, Abhijit Chatterj...