5084 search results - page 826 / 1017 » Proving Possibility Properties |
181
click to vote
MST
2006
15 years 6 months ago
2006
Abstract. Many researchers have had fun searching for and rendering symmetric Venn diagrams, culminating in the recent result of Griggs, Killian, and Savage ("Venn Diagrams an...
166
click to vote
MST
2006
15 years 6 months ago
2006
We consider packet networks and make use of the adversarial queuing theory" model 10 . We are interested in the question of guaranteeing that all packets are actually deliver...
176
click to vote
NJC
2006
15 years 6 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
192
click to vote
PRL
2008
15 years 6 months ago
2008
In this paper, the automatic medical annotation task of the 2007 CLEF cross-language image retrieval campaign (ImageCLEF) is described. The paper focusses on the images used, the ...
161
click to vote
PRL
2006
15 years 6 months ago
2006
In earlier papers, it was shown that recognizing persons using their brain patterns evoked during visual stimulus is possible. In this paper, several modifications are proposed to...