Sciweavers

2286 search results - page 102 / 458
» Algorithms for Categorical Equivalence
Sort
View
ISMVL
2000
IEEE
120views Hardware» more  ISMVL 2000»
15 years 2 months ago
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
Harald Sack, Elena Dubrova, Christoph Meinel
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
14 years 5 months ago
Asymptotic achievability for linear time invariant state space systems
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
Harsh Vinjamoor, Arjan van der Schaft
RTAS
2009
IEEE
15 years 4 months ago
Semi-partitioned Fixed-Priority Scheduling on Multiprocessors
This paper presents a new algorithm for fixed-priority scheduling of sporadic task systems on multiprocessors. The algorithm is categorized to such a scheduling class that quali...
Shinpei Kato, Nobuyuki Yamasaki
PAMI
2007
202views more  PAMI 2007»
14 years 9 months ago
Weighted Graph Cuts without Eigenvectors A Multilevel Approach
—A variety of clustering algorithms have recently been proposed to handle data that is not linearly separable; spectral clustering and kernel k-means are two of the main methods....
Inderjit S. Dhillon, Yuqiang Guan, Brian Kulis
ECML
1993
Springer
15 years 2 months ago
Complexity Dimensions and Learnability
In machine learning theory, problem classes are distinguished because of di erences in complexity. In 6 , a stochastic model of learning from examples was introduced. This PAClear...
Shan-Hwei Nienhuys-Cheng, Mark Polman