3082 search results - page 554 / 617 » Deviation Analysis: A New Use of Model Checking |
100
click to vote
JSAC
2008
14 years 12 months ago
2008
Interest in underwater acoustic networks has grown rapidly with the desire to monitor the large portion of the world covered by oceans. Fundamental differences between underwater a...
103
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
113
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Users increasingly rely on their mobile devices to search local entities, typically businesses, while on the go. Even though recent work has recognized that the ranking signals in...
112
Voted
KDD
2009
ACM
16 years 12 days ago
2009
ACM
Address standardization is a very challenging task in data cleansing. To provide better customer relationship management and business intelligence for customer-oriented cooperates...
112
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...