Sciweavers

2558 search results - page 50 / 512
» Model Composition Contracts
Sort
View
ECOOP
2010
Springer
15 years 6 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
EMNLP
2004
15 years 4 months ago
Efficient Decoding for Statistical Machine Translation with a Fully Expanded WFST Model
This paper proposes a novel method to compile statistical models for machine translation to achieve efficient decoding. In our method, each statistical submodel is represented by ...
Hajime Tsukada, Masaaki Nagata
113
Voted
SAC
2008
ACM
15 years 2 months ago
Modelling adaptive services for distributed systems
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
Liliana Rosa, Antónia Lopes, Luís Ro...
JOLLI
2007
83views more  JOLLI 2007»
15 years 2 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer
126
Voted
IPMU
2010
Springer
15 years 16 days ago
Possibilistic Graphical Models and Compositional Models
We overview three kinds of possibilistic graphical models (based on directed acyclic graphs) and present, how they can be expressed by means of non-graphical approach to multidimen...
Jirina Vejnarová