10890 search results - page 336 / 2178 » Automatic Complexity Analysis |
169
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
181
click to vote
CAIP
2007
Springer
16 years 26 days ago
2007
Springer
In the present study, a new gridding method based on continuous wavelet transform (CWT) was performed. Line profiles of x and y axis were calculated, resulting to 2 different signa...
166
Voted
TSD
2007
Springer
16 years 23 days ago
2007
Springer
Previously we have shown that ASR technology can be used to objectively evaluate pathologic speech. Here we report on progress for routine clinical use: 1) We introduce an easy-to-...
174
click to vote
3DPVT
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a registration framework based on feature points of anatomical 3D shapes represented in the point cloud domain. Anatomical information is utilized throughout the comple...
184
click to vote
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...