3564 search results - page 439 / 713 » Evaluating a Formal Modelling Language |
163
click to vote
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
NAACL
2007
15 years 5 months ago
2007
We study the use of rich syntax-based statistical models for generating grammatical case for the purpose of machine translation from a language which does not indicate case explic...
140
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
A crucial step in processing speech audio data for information extraction, topic detection, or browsing/playback is to segment the input into sentence and topic units. Speech segm...
140
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
159
Voted
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...