3600 search results - page 533 / 720 » The settling-time reducibility ordering |
219
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
164
click to vote
JDA
2008
15 years 6 months ago
2008
Similarity search in texts, notably in biological sequences, has received substantial attention in the last few years. Numerous filtration and indexing techniques have been create...
185
click to vote
JDCTA
2008
15 years 6 months ago
2008
The Information Technology (IT) governance arrangements refer to the patterns of authority for key IT activities in organizations, including IT infrastructure, IT use, and project...
121
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Due to scaling laws, in microfluidic, flows are laminar. Consequently, mixing between two liquids is mainly obtained by natural diffusion which may take a long time or equivalentl...
190
click to vote
IVC
2006
15 years 6 months ago
2006
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...