3255 search results - page 348 / 651 » Combination of Abstractions in the ASTR |
199
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
191
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
178
click to vote
CHES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Efficient implementations of RSA on computationally limited devices, such as smartcards, often use the CRT technique in combination with Garner’s algorithm in order to ...
157
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
188
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...