3799 search results - page 665 / 760 » An Engineering Approach to Formal Methods |
156
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
154
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
152
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
In this article we describe stress nets, a technique for exploring 2D tensor fields. Our method allows a user to examine simultaneously the tensors' eigenvectors (both major ...
166
click to vote
TASLP
2011
14 years 11 months ago
2011
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
172
click to vote
TCBB
2011
14 years 11 months ago
2011
—Protein identification is a key and essential step in mass spectrometry (MS) based proteome research. To date, there are many protein identification strategies that employ eithe...