4716 search results - page 557 / 944 » Iterative-free program analysis |
165
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
161
click to vote
IWDW
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
157
click to vote
CD
2004
Springer
16 years 5 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
166
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
153
click to vote
GPCE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...