3690 search results - page 479 / 738 » Computation with classical sequents |
163
Voted
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
200
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
166
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an approach to visual object-class recognition and segmentation based on a pipeline that combines multiple, holistic figure-ground hypotheses generated in a bottom-up,...
160
Voted
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Detecting visits to semantically meaningful places is important for many emerging mobile applications. We present PlaceSense, a place discovery algorithm suitable for mobile devic...
162
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores the nature of interfaces to support people in accessing their files at tabletop displays embedded in the environment. To do this, we designed a study comparin...