2573 search results - page 204 / 515 » Combinations of Modal Logics |
169
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
162
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We present a novel technique for the automatic formation of vascular trees from segmented tubular structures. Our method combines a minimum spanning tree algorithm with a minimizat...
165
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
We investigate four hierarchical clustering methods (single-link, complete-link, groupwise-average, and single-pass) and two linguistically motivated text features (noun phrase he...
180
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...
150
click to vote
ACL
2007
15 years 8 months ago
2007
In order to effectively access the rapidly increasing range of media content available in the home, new kinds of more natural interfaces are needed. In this paper, we explore the ...