642 search results - page 96 / 129 » Once Upon a Type |
109
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
We present a method for automatically extracting salient object from a single image, which is cast in an energy minimization framework. Unlike most previous methods that only leve...
103
click to vote
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
While clusters of commodity servers and switches are the most popular form of large-scale parallel computers, many programs are not easily parallelized for execution upon them. In...
131
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
122
click to vote
CADE
2009
Springer
16 years 12 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
185
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...