10890 search results - page 142 / 2178 » Automatic Complexity Analysis |
189
click to vote
ISMAR
2006
IEEE
16 years 11 days ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
175
click to vote
ICCD
2005
IEEE
15 years 12 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
144
click to vote
EUROGP
2005
Springer
15 years 12 months ago
2005
Springer
We extend our analysis of repetitive patterns found in genetic programming genomes to tree based GP. As in linear GP, repetitive patterns are present in large numbers. Size fair cr...
189
click to vote
VL
1994
IEEE
15 years 10 months ago
1994
IEEE
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...
211
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...