5830 search results - page 225 / 1166 » Automatic link generation |
146
Voted
NAACL
2007
15 years 7 months ago
2007
This paper reports experiments in which pCRU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — i...
195
click to vote
ICIP
1999
IEEE
16 years 7 months ago
1999
IEEE
In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
149
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
170
click to vote
ICWE
2009
Springer
16 years 25 days ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
157
click to vote
FDL
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...