7167 search results - page 1031 / 1434 » Answer Set Programming |
183
click to vote
FPL
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a design and optimization technique for the Multiple Restricted Multiplication problem [1]. This refers to a situation where a single variable is multiplied by...
147
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
153
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
220
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
185
Voted
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...