1919 search results - page 48 / 384 » Recent Extensions to Traviando |
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
MDM
2007
Springer
14 years 5 months ago
2007
Springer
Spatial generalization has been recently proposed as a technique for the anonymization of requests in location based services. This paper presents the results of an extensive expe...
CAISE
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Supporting for updating XML documents has recently attracted interest. This paper presents a novel declarative XML update language, which is an extension of the XML-RL qu...
ECSQARU
2003
Springer
14 years 4 months ago
2003
Springer
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
FMCO
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...