Sciweavers

1284 search results - page 183 / 257
» Abstract Processes in Orchestration Languages
Sort
View
CICLING
2010
Springer
15 years 2 months ago
A Syntactic Textual Entailment System Based on Dependency Parser
Abstract. The development of a syntactic textual entailment system that compares the dependency relations in both the text and the hypothesis has been reported. The Stanford Depend...
Partha Pakray, Alexander F. Gelbukh, Sivaji Bandyo...
ICGI
2010
Springer
15 years 2 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
CICLING
2010
Springer
15 years 1 months ago
Emotion Holder for Emotional Verbs - The Role of Subject and Syntax
Abstract. Human-like holder plays an important role in identifying actual emotion expressed in text. This paper presents a baseline followed by syntactic approach for capturing emo...
Dipankar Das, Sivaji Bandyopadhyay
TAOSD
2010
14 years 11 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...