9974 search results - page 1423 / 1995 » Software Interconnection Models |
191
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
203
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
216
click to vote
CONSTRAINTS
2011
15 years 2 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
187
click to vote
INFFUS
2011
14 years 10 months ago
2011
We provide a sensor fusion framework for solving the problem of joint ego-motion and road geometry estimation. More specifically we employ a sensor fusion framework to make syste...
224
click to vote
CIKM
2011
Springer
14 years 7 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...