11484 search results - page 81 / 2297 » Modeling in the Large and Modeling in the Small |
178
click to vote
ENVSOFT
2011
15 years 23 days ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
141
click to vote
3DPVT
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a systematic view planning method to assist construction of 3-D models of large outdoor sites using a mobile robot platform with mounted scanner. In the first stage, w...
168
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
131
click to vote
FORTE
2010
15 years 7 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
141
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...