Sciweavers

8008 search results - page 1198 / 1602
» Computer-Aided Language Processing
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 10 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
113
Voted
FM
2009
Springer
92views Formal Methods» more  FM 2009»
15 years 10 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
PKDD
2009
Springer
269views Data Mining» more  PKDD 2009»
15 years 10 months ago
Enhanced Web Page Content Visualization with Firefox
This paper aims at presenting how natural language processing and machine learning techniques can help the internet surfer to get a better overview of the pages he is reading. The ...
Lorand Dali, Delia Rusu, Dunja Mladenic
POLICY
2009
Springer
15 years 10 months ago
Strong and Weak Policy Relations
—Access control and privacy policy relations tend to focus on decision outcomes and are very sensitive to defined terms and state. Small changes or updates to a policy language ...
Michael J. May, Carl A. Gunter, Insup Lee, Steve Z...
SIGIR
2009
ACM
15 years 10 months ago
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...
Massih-Reza Amini, Nicolas Usunier
« Prev « First page 1198 / 1602 Last » Next »