4211 search results - page 448 / 843 » Types as Abstract Interpretations |
193
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of joint feature selection in multiple related classification or regression tasks. When doing feature selection with multiple tasks, usually one c...
171
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
214
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
200
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— BART is a state-of-the-art active end-to-end bandwidth measurement method that estimates not only the available bandwidth but also the link capacity of the bottleneck l...
158
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...