11484 search results - page 487 / 2297 » Modeling in the Large and Modeling in the Small |
181
click to vote
TNN
1998
15 years 6 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
161
click to vote
TMI
2010
15 years 5 months ago
2010
—Optical coherence tomography (OCT) has recently become one of the primary methods for noninvasive probing of the human retina. The pseudoimage formed by OCT (the so-called B-sca...
177
click to vote
FOCS
2010
IEEE
15 years 5 months ago
2010
IEEE
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + or 1/2 - . We are given the outcome of n independent tosses of this co...
185
click to vote
APPML
2007
15 years 7 months ago
2007
This note is devoted to the effect of topography on geophysical flows. We consider two models derived from shallow water theory: the quasigeostrophic equation and the lake equati...
157
click to vote
TACAS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...