4211 search results - page 693 / 843 » Types as Abstract Interpretations |
130
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
155
click to vote
AMR
2005
Springer
15 years 10 months ago
2005
Springer
As Consumer Electronics devices get interconnected, the issue of aligning their data management solutions becomes prominent. If we want to deploy comprehensive applications that ar...
136
click to vote
AMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The u...
105
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
100
click to vote
CHES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...