2642 search results - page 204 / 529 » Merge-by-Wire: Algorithms and System Support |
183
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
119
click to vote
WDAG
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...
160
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we briefly describe a prototype of the software system we have developed for multiple whole genome alignment. To develop our algorithm, we have to solve several pr...
137
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Form document analysis is one of the most essential tasks in document analysis and recognition. One of the most fundamental and crucial tasks is the extraction of the reference li...
153
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...