3082 search results - page 517 / 617 » Deviation Analysis: A New Use of Model Checking |
148
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...
149
click to vote
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
139
click to vote
USS
2008
15 years 6 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
124
click to vote
SMI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
140
click to vote
AAAI
2000
15 years 5 months ago
2000
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...