Sciweavers

8331 search results - page 1300 / 1667
» Data Aggregation Sets in Adaptive Data Model
Sort
View
176
Voted
FSEN
2007
Springer
16 years 1 months ago
Hoare Logic for ARM Machine Code
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...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
TSD
2007
Springer
16 years 29 days ago
Maximum Likelihood and Maximum Mutual Information Training in Gender and Age Recognition System
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...
Valiantsina Hubeika, Igor Szöke, Lukas Burget...
226
Voted
VLDB
2007
ACM
161views Database» more  VLDB 2007»
16 years 29 days ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
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 ...
Dumitru Roman, Michael Kifer
215
Voted
IPPS
2006
IEEE
16 years 27 days ago
A calculus of functional BSP programs with projection
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 ...
Frédéric Loulergue
200
Voted
ISNN
2005
Springer
16 years 11 days ago
Feature Selection and Intrusion Detection Using Hybrid Flexible Neural Tree
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)...
Yuehui Chen, Ajith Abraham, Ju Yang
« Prev « First page 1300 / 1667 Last » Next »