Sciweavers

4985 search results - page 382 / 997
» Observation of String-Rewriting Systems
Sort
View
3DPVT
2006
IEEE
239views Visualization» more  3DPVT 2006»
16 years 1 months ago
Self-Calibration of Multiple Laser Planes for 3D Scene Reconstruction
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
Ryo Furukawa, Hiroshi Kawasaki
COMPSAC
2006
IEEE
16 years 1 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
ACMDIS
2006
ACM
16 years 1 months ago
What do usability evaluators do in practice?: an explorative study of think-aloud testing
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
Mie Nørgaard, Kasper Hornbæk
CEC
2005
IEEE
16 years 21 days ago
Single parent genetic programming
The most controversial part of genetic programming is its highly disruptive and potentially innovative subtree crossover operator. The clearest problem with the crossover operator...
Wendy Ashlock, Dan Ashlock
DATE
2005
IEEE
91views Hardware» more  DATE 2005»
16 years 20 days ago
Reliability-Centric High-Level Synthesis
Importance of addressing soft errors in both safety critical applications and commercial consumer products is increasing, mainly due to ever shrinking geometries, higher-density c...
Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, ...