3754 search results - page 286 / 751 » Process modeling paradigms: an evaluation |
190
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We describe the Arabic broadcast transcription system elded by IBM in the GALE Phase 4 machine translation evaluation. Key advances over our Phase 3.5 system include improvements ...
259
click to vote
GCB
2007
Springer
16 years 1 months ago
2007
Springer
: There are several models for the evolutionary process forming a species tree. We examine the Birth-and-Death model (BDM), the Proportional-to-Distinguishable Arrangements (PDA) m...
215
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
183
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
197
click to vote
COSIT
2007
Springer
16 years 1 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...