288 search results - page 40 / 58 » Interactive Termination Proofs Using Termination Cores |
87
Voted
INTERACT
2003
14 years 10 months ago
2003
: The paper concerns collaborative research with the twofold task of developing video streaming technology for mobile devices and exploring user experiences in mobile multimedia. T...
102
Voted
ISSAC
2004
Springer
15 years 2 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
STOC
2010
ACM
15 years 2 months ago
2010
ACM
We give the first polynomial-time approximation scheme (PTAS) for the Steiner forest problem on planar graphs and, more generally, on graphs of bounded genus. As a first step, w...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a fully automated variation of the GrabCut technique for segmenting comparatively simple images with little variation in background colour and relatively high contrast ...
102
click to vote
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...