1116 search results - page 141 / 224 » Applying Predicate Abstraction to Abstract State Machines |
TSD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The orthography of many resource-scarce languages includes diacritically marked characters. Falling outside the scope of the standard Latin encoding, these characters are...
IJCNN
2006
IEEE
15 years 5 months ago
2006
IEEE
— Delegating the coordination role to proxy agents can improve the overall outcome of the task at the expense of cognitive overload due to switching subtasks. Stability and commi...
GW
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
ICWE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...