Sciweavers

1870 search results - page 154 / 374
» Abstract And-Parallel Machines
Sort
View
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 4 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
ALS
2003
Springer
15 years 4 months ago
Anticipatory Behavioral Control
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
Joachim Hoffmann
99
Voted
GECCO
2003
Springer
167views Optimization» more  GECCO 2003»
15 years 4 months ago
Dimensionality Reduction via Genetic Value Clustering
Abstract. Feature extraction based on evolutionary search offers new possibilities for improving classification accuracy and reducing measurement complexity in many data mining and...
Alexander P. Topchy, William F. Punch
97
Voted
IRFC
2010
Springer
15 years 3 months ago
Combining Wikipedia-Based Concept Models for Cross-Language Retrieval
Abstract. As a low-cost ressource that is up-to-date, Wikipedia recently gains attention as a means to provide cross-language brigding for information retrieval. Contradictory to a...
Benjamin Roth, Dietrich Klakow
78
Voted
ICANN
2009
Springer
15 years 3 months ago
Empirical Study of the Universum SVM Learning for High-Dimensional Data
Abstract. Many applications of machine learning involve sparse highdimensional data, where the number of input features is (much) larger than the number of data samples, d n. Predi...
Vladimir Cherkassky, Wuyang Dai