1358 search results - page 62 / 272 » Proceedings |
IJCAI
2001
13 years 11 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
WSCG
2004
13 years 11 months ago
2004
The problem of segmenting color video sequences is addressed. Boundary motion and occlusion relations expressed by labeling rules are argued to be of key importance for segmentati...
WSCG
2004
13 years 11 months ago
2004
An original method is proposed to extract the most significant volumetric structures in an illuminance image. The method proceeds in three levels of organization managed by generi...
ANLP
2000
13 years 11 months ago
2000
We present an efficientmulti-levelchart parser that was designed forsyntacticanalysisofclosedcaptions (subtitles) in a real-time Machine Translation (MT) system. In order to achie...
UAI
2003
13 years 11 months ago
2003
We analyze a new property of directed acyclic graphs (DAGs), called layerwidth, arising from a class of DAGs proposed by Eiter and Lukasiewicz. This class of DAGs permits certain ...