3909 search results - page 530 / 782 » Extreme Model Checking |
159
click to vote
NN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...
179
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
149
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
167
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
132
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...