8331 search results - page 1300 / 1667 » Data Aggregation Sets in Adaptive Data Model |
187
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
172
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Gender and age estimation based on Gaussian Mixture Models (GMM) is introduced. Telephone recordings from the Czech SpeechDatEast database are used as training and test d...
252
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
235
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
215
click to vote
ISNN
2005
Springer
16 years 1 months ago
2005
Springer
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...