1189 search results - page 172 / 238 » The Quotient of an Abstract Interpretation |
180
click to vote
PKDD
2009
Springer
16 years 22 days 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...
147
click to vote
FOSSACS
2010
Springer
16 years 20 days 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-...
193
click to vote
CDC
2008
IEEE
16 years 20 days 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...
141
click to vote
IPPS
2008
IEEE
16 years 18 days ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
188
click to vote
ISORC
2008
IEEE
16 years 17 days ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...