1519 search results - page 101 / 304 » What do they think |
176
click to vote
FMCO
2005
Springer
15 years 11 months 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...
161
click to vote
INEX
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In its second year, the Interactive Track at INEX focused on addressing some fundamental issues of interactive XML retrieval: is element retrieval useful for searchers, w...
138
click to vote
SIGDOC
2004
ACM
15 years 11 months ago
2004
ACM
The signal to noise ratio is a common concept in radio communications and electronic communication in general. For a radio, the static is the noise. Too much static and the storm ...
139
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
151
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...