6693 search results - page 79 / 1339 » Methods of Automatic Algorithm Generation |
132
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
163
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
113
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
130
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Region growing is a frequently used segmentation method for medical ultrasound images processing. The first step of region growing is selecting the seed point which is inside the ...
149
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...