3457 search results - page 318 / 692 » A Symbol Is Not a Symbol |
283
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
182
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
We present a method for searching databases of symbolically represented polyphonic music that exploits advantages of transportation distances such as continuity and partial matchi...
151
click to vote
CICLING
2004
Springer
16 years 2 days ago
2004
Springer
Qualitative variables take symbolic values, such as hot, shoe, Europe or France. Sometimes, the values may be arranged in layers or levels of detail. For instance, the variable pla...
152
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
178
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...