Sciweavers

1265 search results - page 48 / 253
» Finding the Key to a Synapse
Sort
View
CSDA
2008
179views more  CSDA 2008»
13 years 9 months ago
A note on adaptive group lasso
Group lasso is a natural extension of lasso and selects variables in a grouped manner. However, group lasso suffers from estimation inefficiency and selection inconsistency. To re...
Hansheng Wang, Chenlei Leng
FSS
2008
88views more  FSS 2008»
13 years 9 months ago
Solution of a system of linear equations with fuzzy numbers
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
Rostislav Horcík
ENTCS
2006
125views more  ENTCS 2006»
13 years 9 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
FS
2006
102views more  FS 2006»
13 years 9 months ago
Bounds for Functions of Dependent Risks
Abstract The problem of finding the best-possible lower bound on the distribution of a non-decreasing function of n dependent risks is solved when n = 2 and a lower bound on the co...
Paul Embrechts, Giovanni Puccetti
IPL
2008
95views more  IPL 2008»
13 years 9 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman