Sciweavers

1306 search results - page 137 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
50
Voted
DAC
2005
ACM
16 years 1 months ago
Exploiting suspected redundancy without proving it
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
ADBIS
2005
Springer
112views Database» more  ADBIS 2005»
15 years 6 months ago
Non-destructive Integration of Form-Based Views
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
Jan Hidders, Jan Paredaens, Philippe Thiran, Geert...
100
Voted
ICWE
2003
Springer
15 years 6 months ago
Organizing Problem Solving Activities for Synchronous Collaborative Learning of Design Domains
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
Crescencio Bravo, Miguel A. Redondo, Manuel Ortega...
102
Voted
WABI
2001
Springer
138views Bioinformatics» more  WABI 2001»
15 years 5 months ago
Algorithms for Finding Gene Clusters
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
Steffen Heber, Jens Stoye
102
Voted
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
15 years 5 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...