8266 search results - page 388 / 1654 » Information About the Journal |
193
click to vote
FMCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
148
click to vote
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
The aim of the presented study was to find structural descriptions of melodies that influence recognition memory for melodies. 24 melodies were played twice to 42 test persons. I...
150
click to vote
ISMIR
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a fast audio detection method for specific audio retrieval in the AV stream. The method is a histogram matching algorithm based on structural and perceptual f...
172
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
165
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...