Sciweavers

3381 search results - page 197 / 677
» Extending Dependencies with Conditions
Sort
View
ATVA
2010
Springer
148views Hardware» more  ATVA 2010»
15 years 8 months ago
Recursive Timed Automata
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
Ashutosh Trivedi, Dominik Wojtczak
DAM
2010
95views more  DAM 2010»
15 years 7 months ago
Excessive factorizations of bipartite multigraphs
Let G be a multigraph. We say that G is 1-extendable if every edge of G is contained in a 1-factor. Suppose G is 1-extendable. An excessive factorization of G is a set F = {F1, F2...
David Cariolaro, Romeo Rizzi
CORR
2007
Springer
164views Education» more  CORR 2007»
15 years 7 months ago
Consistency of the group Lasso and multiple kernel learning
We consider the least-square regression problem with regularization by a block 1-norm, that is, a sum of Euclidean norms over spaces of dimensions larger than one. This problem, r...
Francis Bach
CORR
2007
Springer
155views Education» more  CORR 2007»
15 years 7 months ago
Algebraic Distributed Differential Space-Time Codes with Low Decoding Complexity
—The differential encoding/decoding setup introduced by Kiran et al, Oggier-Hassibi and Jing-Jafarkhani for wireless relay networks that use codebooks consisting of unitary matri...
G. Susinder Rajan, B. Sundar Rajan
ICRA
2007
IEEE
211views Robotics» more  ICRA 2007»
16 years 1 months ago
Control Camera and Light Source Positions using Image Gradient Information
— In this paper, we propose an original approach to control camera position and/or lighting conditions in an environment using image gradient information. Our goal is to ensure a...
Éric Marchand