1772 search results - page 11 / 355 » The Model Coupling Toolkit |
MTA
2007
13 years 7 months ago
2007
MEMOCODE
2006
IEEE
14 years 1 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
INTERSPEECH
2010
13 years 2 months ago
2010
This paper describes a new toolkit - SCARF - for doing speech recognition with segmental conditional random fields. It is designed to allow for the integration of numerous, possib...
VISUALIZATION
1999
IEEE
13 years 11 months ago
1999
IEEE
Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present in th...
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...