11172 search results - page 603 / 2235 » Testing Physical Systems |
216
click to vote
MICS
2008
15 years 6 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
191
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
224
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A widely used technique to recover a 3D surface from photographs is patch-based (multi-view) stereo reconstruction. Current methods are able to reproduce fine surface details, th...
195
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper describes the Online Arabic handwriting recognition competition held at ICDAR 2009. This first competition uses the ADAB-database with Arabic online handwritten words. ...
180
click to vote
ICES
2005
Springer
16 years 22 days ago
2005
Springer
This paper describes circuit evolutionary experiments at extreme low temperatures, including the test of all system components at this extreme environment (EE). In addition to hard...