5180 search results - page 690 / 1036 » Concurrency, Time, and Constraints |
151
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
What type of algorithms and statistical techniques support learning from very large datasets over long stretches of time? We address this question through a memory bounded version...
192
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and pra...
198
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Power density has been increasing at an alarming rate in recent processor generations resulting in high on-chip temperature. Higher temperature results in poor reliability and inc...
258
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
144
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...