Sciweavers

3754 search results - page 285 / 751
» Process modeling paradigms: an evaluation
Sort
View
UML
2001
Springer
15 years 11 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
ICIP
1998
IEEE
15 years 11 months ago
A Statistical Method for Discrimination of Natural Terrain Types from SAR Data
In this paper we propose a method for discrimination of underlying textural structures from spotlight-mode synthetic aperture radar (SAR) returns by using a tomographic data acqui...
Müjdat Çetin, William Clement Karl
COLING
2010
15 years 2 months ago
Detecting Speech Repairs Incrementally Using a Noisy Channel Approach
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
Simon Zwarts, Mark Johnson, Robert Dale
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
IS
2006
15 years 7 months ago
Answering content and structure-based queries on XML documents using relevance propagation
As XML documents contain both content and structure information, taking advantage of the document structure in the retrieval process can lead to better identify relevant informati...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...