Sciweavers

12981 search results - page 2096 / 2597
» Model Checking (Abstract)
Sort
View
ENTCS
2007
84views more  ENTCS 2007»
15 years 7 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
ML
2006
ACM
163views Machine Learning» more  ML 2006»
15 years 7 months ago
Extremely randomized trees
Abstract This paper proposes a new tree-based ensemble method for supervised classification and regression problems. It essentially consists of randomizing strongly both attribute ...
Pierre Geurts, Damien Ernst, Louis Wehenkel
PAA
2008
15 years 7 months ago
Recognising facial expressions in video sequences
Abstract We introduce a system that processes a sequence of images of a front-facing human face and recognises a set of facial expressions. We use an efficient appearance-based fac...
José Miguel Buenaposada, Enrique Muñ...
MT
2006
106views more  MT 2006»
15 years 7 months ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
MTA
2006
195views more  MTA 2006»
15 years 7 months ago
An efficient and robust algorithm for 3D mesh segmentation
Abstract This paper presents an efficient and robust algorithm for 3D mesh segmentation. Segmentation is one of the main areas of 3D object modeling. Most segmentation methods deco...
Lijun Chen 0003, Nicolas D. Georganas
« Prev « First page 2096 / 2597 Last » Next »