3799 search results - page 690 / 760 » An Engineering Approach to Formal Methods |
166
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
123
click to vote
AAAI
2006
15 years 5 months ago
2006
Identifying intrinsic structures in large networks is a fundamental problem in many fields, such as engineering, social science and biology. In this paper, we are concerned with c...
155
click to vote
TASLP
2010
14 years 11 months ago
2010
This paper presents a maximum likelihood approach to multiple fundamental frequency (F0) estimation for a mixture of harmonic sound sources, where the power spectrum of a time fra...
166
click to vote
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
164
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...