1389 search results - page 191 / 278 » Definability as hypercomputational effect |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We propose a dynamic faceted search system for discoverydriven analysis on data with both textual content and structured attributes. From a keyword query, we want to dynamically s...