Sciweavers

994 search results - page 92 / 199
» Modeling task allocation using a decision theoretic model
Sort
View
ASPDAC
2006
ACM
131views Hardware» more  ASPDAC 2006»
16 years 4 days ago
POSIX modeling in SystemC
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
Hector Posadas, Jesús Ádamez, Pablo ...
CIARP
2004
Springer
15 years 11 months ago
Use of Context in Automatic Annotation of Sports Videos
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...
Ilias Kolonias, William J. Christmas, Josef Kittle...
SPIN
2007
Springer
16 years 8 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
COLING
2008
15 years 7 months ago
A Systematic Comparison of Phrase-Based, Hierarchical and Syntax-Augmented Statistical MT
Probabilistic synchronous context-free grammar (PSCFG) translation models define weighted transduction rules that represent translation and reordering operations via nonterminal s...
Andreas Zollmann, Ashish Venugopal, Franz Josef Oc...
CVPR
2005
IEEE
16 years 8 months ago
Optimal Sub-Shape Models by Minimum Description Length
Active shape models are a powerful and widely used tool to interpret complex image data. By building models of shape variation they enable search algorithms to use a priori knowle...
Georg Langs, Philipp Peloschek, Horst Bischof