1513 search results - page 272 / 303 » Semantic Business Process Analysis |
179
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
183
click to vote
TREC
2003
15 years 8 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
216
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
182
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
250
click to vote
PAMI
2012
13 years 9 months ago
2012
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...