881 search results - page 106 / 177 » Extracting Appraisal Expressions |
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
This article presents a global optimization approach to reconstruct surfaces from a single document image. Instead of assuming globally developable in previous works which restric...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
PET
2009
Springer
14 years 3 months ago
2009
Springer
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
ICDIM
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a geo-temporal gazetteer Web service that provides access to names of places and historical periods, together with the associated geotemporal information. With...