Sciweavers

6018 search results - page 246 / 1204
» Factored Translation Models
Sort
View
ICPR
2008
IEEE
16 years 13 days ago
Deformable template combining alignable and non-alignable sketches
This paper proposes a hybrid model for deformable template which combines alignable and non-alignable sketches. These sketches are subject to slight or considerable translations i...
Linjie Zhang, Haifeng Gong, Tianfu Wu, Junyu Dong
MONTEREY
2007
Springer
16 years 4 days ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
ACL
2008
15 years 7 months ago
Measure Word Generation for English-Chinese SMT Systems
Measure words in Chinese are used to indicate the count of nouns. Conventional statistical machine translation (SMT) systems do not perform well on measure word generation due to ...
Dongdong Zhang, Mu Li, Nan Duan, Chi-Ho Li, Ming Z...
I3E
2003
100views Business» more  I3E 2003»
15 years 7 months ago
Use of Models and Modelling Techniques for Service Development
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
Luís Ferreira Pires, Marten van Sinderen, C...
AGTIVE
2003
Springer
15 years 11 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe