Sciweavers

1134 search results - page 136 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
ANLP
1997
98views more  ANLP 1997»
15 years 8 months ago
Developing a hybrid NP parser
We describe the use of energy function optimisation in very shallow syntactic parsing. The approach can use linguistic rules and corpus-based statistics, so the strengths of both ...
Atro Voutilainen, Lluís Padró
208
Voted
MODELS
2009
Springer
16 years 1 days ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
199
Voted
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 9 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
209
Voted
ENTCS
2006
155views more  ENTCS 2006»
15 years 7 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
SIGGRAPH
2010
ACM
15 years 12 months ago
VideoMocap: modeling physically realistic human motion from monocular video sequences
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...
Xiaolin Wei, Jinxiang Chai