17049 search results - page 3158 / 3410 » cans 2007 |
187
click to vote
SAT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
168
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Recently, the Sobolev metric was introduced to define gradient flows of various geometric active contour energies. It was shown that the Sobolev metric out-performs the tradition...
201
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
On March 11, 1944, the famous Eremitani Church in Padua (Italy) was destroyed in an Allied bombing along with the inestimable frescoes by Andrea Mantegna et al. contained in the Ov...
167
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
Only few well-maintained domain ontologies can be found on the Web. The likely reasons for the lack of useful domain ontologies include that (1) informal means to convey intended m...
172
click to vote
SG
2007
Springer
16 years 21 days ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...