818 search results - page 53 / 164 » formats 2007 |
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Hierarchical (H)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding H-matrix arithmetic reduces the time complexity o...
KI
2007
Springer
15 years 3 months ago
2007
Springer
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
MDM
2007
Springer
15 years 3 months ago
2007
Springer
—In this paper we present Moppy — an application for mobile object position prediction. Moppy is an easy to use, intuitive application with interactive graphical user interface...
TAP
2007
Springer
15 years 3 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...