1718 search results - page 42 / 344 » Modeling and testing of cloud applications |
112
Voted
GD
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Techniques for drawing graphs based on force-directed placement and virtual physical models have proven surprisingly successful in producing good layouts of undirected gr...
84
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The new eSBR tool of MPEG-D Universal Speech and Audio Coding offers a great advantage in compression of high frequency content, however it produces audible artifacts for sounds w...
93
Voted
BMCBI
2008
15 years 27 days ago
2008
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
73
Voted
NIPS
2000
15 years 2 months ago
2000
In this work, we introduce an Interactive Parts (IP) model as an alternative to Hidden Markov Models (HMMs). We tested both models on a database of on-line cursive script. We show...
118
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....