Sciweavers

2040 search results - page 292 / 408
» On the Complexity of Error Explanation
Sort
View
ICLP
2007
Springer
16 years 13 days ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
ISNN
2007
Springer
16 years 12 days ago
Hybrid Intelligent Modeling Approach for the Ball Mill Grinding Process
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
Ming Tie, Jing Bi, Yushun Fan
MLDM
2007
Springer
16 years 12 days ago
Ensemble-based Feature Selection Criteria
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...
Terry Windeatt, Matthew Prior, Niv Effron, Nathan ...
PERVASIVE
2007
Springer
16 years 12 days ago
Using Ground Reaction Forces from Gait Analysis: Body Mass as a Weak Biometric
Ground reaction forces generated during normal walking have recently been used to identify and/or classify individuals based upon the pattern of the forces observed over time. One ...
Jam Jenkins, Carla Schlatter Ellis
APCCAS
2006
IEEE
233views Hardware» more  APCCAS 2006»
16 years 10 days ago
Jointly Optimized Modulated-Transmitter and Receiver FIR MIMO Filters
— In recent years, several approaches have been proposed aiming the optimal joint design of finite impulse response (FIR) multiple-input multiple-output (MIMO) transmitter and r...
Guilherme Pinto, Paulo S. R. Diniz, Are Hjø...