Sciweavers

8196 search results - page 1356 / 1640
» Computational Modeling and Complexity Science
Sort
View
IJAR
2010
91views more  IJAR 2010»
15 years 3 months ago
Logical and algorithmic properties of stable conditional independence
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
Mathias Niepert, Dirk Van Gucht, Marc Gyssens
HCI
2009
15 years 2 months ago
A New Approach to Design an Interactive System for Molecular Analysis
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
Mouna Essabbah, Samir Otmane, Joan Hérisson...
148
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
Some Thoughts on the Semantics of Biocharts
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
David Harel, Hillel Kugler
BMVC
2010
14 years 11 months ago
Multi-View Planning for Simultaneous Coverage and Accuracy Optimisation
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
Christoph Munkelt, Andreas Breitbarth, Gunther Not...
INTERSPEECH
2010
14 years 11 months ago
On-the-fly lattice rescoring for real-time automatic speech recognition
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
Hasim Sak, Murat Saraclar, Tunga Güngör
« Prev « First page 1356 / 1640 Last » Next »