183 search results - page 18 / 37 » Applied Logic without Psychologism |
JLP
2000
15 years 1 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
113
Voted
TPLP
2002
15 years 1 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
103
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
138
click to vote
ICTAI
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
129
click to vote
HUC
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...