3931 search results - page 460 / 787 » Separation logic and abstraction |
208
click to vote
EUROPAR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
182
click to vote
FSMNLP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...
190
click to vote
ICIAR
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper presents a new cDNA microarray image segmentation framework. The framework uses robust vector median filtering to generate a root sigLnal which is an image ob...
156
click to vote
OTM
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
179
click to vote
PAKDD
2005
ACM
16 years 17 days ago
2005
ACM
Abstract. Bayesian spam filters, in general, compute probability estimations for tokens either without considering the email areas of occurrences except the body or treating the s...