1511 search results - page 257 / 303 » Relational Parametricity for Computational Effects |
119
click to vote
JPDC
2007
15 years 4 months ago
2007
The core of current-generation high-performance multiprocessor systems is out-of-order execution processors with aggressive branch prediction. Despite their relatively high branch...
149
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
The goal of graph clustering is to partition objects in a graph database into different clusters based on various criteria such as vertex connectivity, neighborhood similarity or t...
155
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
146
click to vote
TKDE
2011
14 years 11 months ago
2011
—With the advance of wireless communication technology, it is quite common for people to view maps or get related services from the handheld devices, such as mobile phones and PD...
149
click to vote
TIP
2010
14 years 11 months ago
2010
Level set methods have been widely used in image processing and computer vision. In conventional level set formulations, the level set function typically develops irregularities du...