Sciweavers

359 search results - page 31 / 72
» On Complete Primitives for Fairness
Sort
View
JMLR
2008
110views more  JMLR 2008»
13 years 10 months ago
Cross-Validation Optimization for Large Scale Structured Classification Kernel Methods
We propose a highly efficient framework for penalized likelihood kernel methods applied to multiclass models with a large, structured set of classes. As opposed to many previous a...
Matthias W. Seeger
IJON
2007
85views more  IJON 2007»
13 years 10 months ago
Hierarchical dynamical models of motor function
Hierarchical models of motor function are described in which the motor system encodes a hierarchy of dynamical motor primitives. The models are based on continuous attractor neura...
Simon M. Stringer, Edmund T. Rolls
ICC
2007
IEEE
145views Communications» more  ICC 2007»
14 years 5 months ago
Enhancements to Cognitive Radio Based IEEE 802.22 Air-Interface
—The IEEE 802.22 standard for wireless regional area network is the first standard for cognitive radio that tries to harness the idle or under-utilized spectrum allocated for TV...
Shamik Sengupta, Swastik Brahma, Mainak Chatterjee...
CSL
2004
Springer
14 years 4 months ago
Subtyping Union Types
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
Jerome Vouillon
CONCUR
2006
Springer
14 years 2 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...