Sciweavers

755 search results - page 107 / 151
» ideas 2005
Sort
View
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
FOSSACS
2005
Springer
15 years 3 months ago
Composition and Decomposition in True-Concurrency
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
Sibylle B. Fröschle
95
Voted
GECCO
2005
Springer
134views Optimization» more  GECCO 2005»
15 years 3 months ago
Predicting mining activity with parallel genetic algorithms
We explore several different techniques in our quest to improve the overall model performance of a genetic algorithm calibrated probabilistic cellular automata. We use the Kappa ...
Sam Talaie, Ryan E. Leigh, Sushil J. Louis, Gary L...
GW
2005
Springer
119views Biometrics» more  GW 2005»
15 years 3 months ago
A Comparison Between Etymon- and Word-Based Chinese Sign Language Recognition Systems
Hitherto, one major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size. In large vocabulary speech recognition real...
Chunli Wang, Xilin Chen, Wen Gao
ICCBR
2005
Springer
15 years 3 months ago
Re-using Implicit Knowledge in Short-Term Information Profiles for Context-Sensitive Tasks
Typically, case-based recommender systems recommend single items to the on-line customer. In this paper we introduce the idea of recommending a user-defined collection of items whe...
Conor Hayes, Paolo Avesani, Emiliano Baldo, Padrai...