12783 search results - page 2173 / 2557 » Experimenting with computing |
210
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
302
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
173
click to vote
WCET
2010
15 years 4 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
182
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
We propose using multi-layer multiple instance learning (MMIL) for image set classification and applying it to the task of cannabis website classification. We treat each image as a...
158
click to vote
CCIA
2009
Springer
15 years 4 months ago
2009
Springer
Object segmentation is a challenging and important problem in computer vision. The difficulties to obtain accurate segmentations using only the traditional Topdown or Bottom-up ap...