8009 search results - page 168 / 1602 » cans 2005 |
192
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
This paper reports further progress into a computational implementation of a new formalism for construction grammar, known as Fluid Construction Grammar (FCG). We focus in particu...
176
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract: Traffic engineering in P2P networks deals with organizing overlay networks. The challenge of unavailability has not been mastered yet. Considering the resource allocatio...
169
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
143
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
170
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...