2205 search results - page 334 / 441 » Mutation Operators for Specifications |
135
Voted
MVA
1996
15 years 3 months ago
1996
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
93
Voted
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
104
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
139
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
124
Voted
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
The increasingly large amount of digital multimedia content has created a need for technologies to search and identify multimedia files. Multimedia fingerprinting has been widely ...