Sciweavers

2182 search results - page 330 / 437
» A Robust Algorithm for Solving Nonlinear Programming Problem...
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 8 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
157
Voted
JMLR
2010
149views more  JMLR 2010»
14 years 9 months ago
Learning Bayesian Network Structure using LP Relaxations
We propose to solve the combinatorial problem of finding the highest scoring Bayesian network structure from data. This structure learning problem can be viewed as an inference pr...
Tommi Jaakkola, David Sontag, Amir Globerson, Mari...
JMLR
2012
13 years 4 months ago
Marginal Regression For Multitask Learning
Variable selection is an important and practical problem that arises in analysis of many high-dimensional datasets. Convex optimization procedures that arise from relaxing the NP-...
Mladen Kolar, Han Liu
116
Voted
ICCAD
2003
IEEE
127views Hardware» more  ICCAD 2003»
15 years 11 months ago
Code Placement with Selective Cache Activity Minimization for Embedded Real-time Software Design
– Many embedded system designs usually impose (hard) read-time constraints on tasks. Thus, computing a tight upper bound of the worst case execution time (WCET) of a software is ...
Junhyung Um, Taewhan Kim
RECOMB
1998
Springer
15 years 6 months ago
A polyhedral approach to RNA sequence structure alignment
Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...
Hans-Peter Lenhof, Knut Reinert, Martin Vingron