2586 search results - page 351 / 518 » Automatic Abstraction for Congruences |
224
click to vote
ICWL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
181
click to vote
IWSOS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
186
click to vote
JSAI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper, we propose an efficient method for extracting scene tags from online video annotation (e.g., comments about video scenes). To evaluate this method by apply...
176
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
189
click to vote
MIDDLEWARE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Grids are becoming more and more dynamic, running parallel applications on large scale and heterogeneous resources. Explicitly stopping a whole distributed application is...