8337 search results - page 174 / 1668 » Reasoning With Characteristic Models |
139
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
138
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Enriching speech recognition output with sentence boundaries improves its human readability and enables further processing by downstream language processing modules. We have const...
175
Voted
SPAA
1995
ACM
15 years 8 months ago
1995
ACM
For years, the computation rate of processors has been much faster than the access rate of memory banks, and this divergence in speeds has been constantly increasing in recent yea...
151
click to vote
DLOG
2007
15 years 7 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
129
click to vote
AIR
2010
15 years 5 months ago
2010
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...