2767 search results - page 319 / 554 » Universal Exponentiation Algorithm |
92
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
89
Voted
EPIA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
121
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Boxes are the universal choice for packing, storage, and transportation. In this paper we propose a template-based algorithm for recognition of box-like objects, which is invarian...
115
Voted
PDP
2007
IEEE
15 years 8 months ago
2007
IEEE
Heterogeneous networks of workstations have rapidly become a cost-effective computing solution in many application areas. This paper develops several highly innovative parallel al...
132
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...