10910 search results - page 314 / 2182 » Input modeling using a computer algebra system |
154
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We investigate the computational capabilities of probabilistic cellular automata by means of the density classification problem. We find that a specific probabilistic ...
170
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
177
click to vote
SACMAT
2005
ACM
16 years 6 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
155
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
: This paper addresses the issue of designing scalable prototypes for multi input multi output (MIMO) wireless channel emulation. To date, emulators are extending single input sing...
197
click to vote
PRL
2006
15 years 6 months ago
2006
Depth computation is an attractive feature in computer vision. The use of traditional perspective cameras for panoramic perception requires several images, most likely implying th...