36320 search results - page 549 / 7264 » From Code to Models |
202
click to vote
SERA
2005
Springer
16 years 16 days ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
184
click to vote
APPROX
2005
Springer
16 years 18 days ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...
181
Voted
TCSV
2008
15 years 7 months ago
2008
In existing pyramid-based spatially scalable coding schemes, such as H.264/MPEG-4 SVC (scalable video coding), video frame at a certain high-resolution layer is mainly predicted ei...
168
click to vote
AMAST
2004
Springer
16 years 13 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
178
Voted
WACV
2002
IEEE
15 years 12 months ago
2002
IEEE
The use of fractals in computer graphics and vision in modeling unstructured images, and compressing images, is well known. However, the use of fractals for indexing images in con...