Sciweavers

1655 search results - page 100 / 331
» Stemming in the language modeling framework
Sort
View
83
Voted
IJCAI
2003
15 years 2 months ago
Finite Domain Constraint Solver Learning
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtche...
108
Voted
ICMT
2010
Springer
15 years 4 months ago
From State- to Delta-Based Bidirectional Model Transformations
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 2 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
WS
2008
ACM
15 years 16 days ago
ActiveRDF: Embedding Semantic Web data into object-oriented languages
Semantic Web applications share a large portion of development effort with database-driven Web applications. Existing approaches for development of these database-driven applicati...
Eyal Oren, Benjamin Heitmann, Stefan Decker
96
Voted
IJCAI
2007
15 years 2 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...