1566 search results - page 290 / 314 » Planning and learning together |
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
Abstract—Segmentation of architectural floorplans is a challenging task, mainly because of the large variability in the notation between different plans. In general, traditional...
108
click to vote
ICML
2002
IEEE
16 years 19 days ago
2002
IEEE
During the last years, the use of string kernels that compare documents has been shown to achieve good results on text classification problems. In this paper we introduce the appl...
109
click to vote
SIGCSE
2009
ACM
16 years 12 days ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
111
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
Email is one of the most prevalent communication tools today, and solving the email overload problem is pressingly urgent. A good way to alleviate email overload is to automatical...
200
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...