Sciweavers

4166 search results - page 453 / 834
» Automating the constraining process
Sort
View
GC
2004
Springer
15 years 11 months ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
MKM
2004
Springer
15 years 11 months ago
CPoint: Dissolving the Author's Dilemma
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
Andrea Kohlhase, Michael Kohlhase
TSD
2004
Springer
15 years 11 months ago
Rapid Dialogue Prototyping Methodology
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
Trung H. Bui, Martin Rajman, Miroslav Melichar
WWW
2010
ACM
15 years 11 months ago
Linking content in unstructured sources
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...
Marie-Francine Moens
AI
2003
Springer
15 years 11 months ago
Summarizing Web Sites Automatically
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
Yongzheng Zhang, A. Nur Zincir-Heywood, Evangelos ...