2631 search results - page 277 / 527 » Less is More |
151
click to vote
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
151
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
115
click to vote
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
We present results from a study examining the sensitivity of group navigation strategies to changes in route presentation on a shared mobile device. Two content-equivalent interfa...
130
Voted
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
: We explore the abstraction of failure transparency in which the operating system provides the illusion of failure-free operation. To provide failure transparency, an operating sy...
217
click to vote
PAMI
2011
14 years 11 months ago
2011
— The accurate detection of object boundaries via active contours is an ongoing research topic in computer vision. Most active contours converge towards some desired contour by m...