5159 search results - page 638 / 1032 » Structural Testing of Executables |
150
click to vote
CANDC
2007
ACM
15 years 9 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
210
click to vote
ECCB
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
174
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Many tasks on the semantic web require the user to choose concepts from a limited vocabulary e.g. for describing an indexed resource or for use in semantic search. Semantic autocom...
210
click to vote
DAGSTUHL
2003
15 years 9 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
188
Voted
MSV
2004
15 years 9 months ago
2004
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...