120 search results - page 19 / 24 » A Word-to-Word Model of Translational Equivalence |
ACCV
2009
Springer
13 years 11 months ago
2009
Springer
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
EDBTW
2006
Springer
13 years 9 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
ENTCS
2002
13 years 7 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
FOSSACS
2005
Springer
14 years 28 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...