Sciweavers

4211 search results - page 8 / 843
» A formal approach to MASQ
Sort
View
NAACL
2010
13 years 5 months ago
A Simple Approach for HPSG Supertagging Using Dependency Information
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...
Yao-zhong Zhang, Takuya Matsuzaki, Jun-ichi Tsujii
SCP
2002
112views more  SCP 2002»
13 years 7 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
MODELS
2010
Springer
13 years 5 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
SSIRI
2010
13 years 5 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
IEEECIT
2010
IEEE
13 years 5 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
Yue Ma, Jean-Pierre Talpin, Thierry Gautier