1656 search results - page 184 / 332 » Ontology Composition using a Role Modeling Approach |
142
click to vote
IEE
2010
15 years 2 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
153
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Semi-supervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likeliho...
139
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
120
click to vote
LREC
2008
15 years 5 months ago
2008
Corpus-based approaches and statistical approaches have been the main stream of natural language processing research for the past two decades. Language resources play a key role i...
177
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...