6018 search results - page 219 / 1204 » Factored Translation Models |
112
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
141
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
130
Voted
COSIT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
134
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
131
Voted
LREC
2008
15 years 6 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...