Sciweavers

11097 search results - page 359 / 2220
» Hera presentation generator
Sort
View
NAACL
2010
15 years 4 months ago
An extractive supervised two-stage method for sentence compression
We present a new method that compresses sentences by removing words. In a first stage, it generates candidate compressions by removing branches from the source sentence's dep...
Dimitrios Galanis, Ion Androutsopoulos
TGC
2010
Springer
15 years 4 months ago
A Tool for Checking Probabilistic Properties of COWS Services
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
Igor Cappello, Paola Quaglia
EMNLP
2009
15 years 4 months ago
A Joint Language Model With Fine-grain Syntactic Tags
We present a scalable joint language model designed to utilize fine-grain syntactic tags. We discuss challenges such a design faces and describe our solutions that scale well to l...
Denis Filimonov, Mary P. Harper
EUSFLAT
2009
135views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Image Analysis Applications of Morphological Operators based on Uninorms
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
Manuel González Hidalgo, Arnau Mir Torres, ...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo