4166 search results - page 742 / 834 » Automating the constraining process |
122
click to vote
JEI
2008
15 years 2 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
101
click to vote
EUROMED
2010
15 years 1 months ago
2010
The research is focused on traditional timber frame structures (TFS) situated in rural areas. Often neglected, remaining examples embody our build Heritage. However, architects hav...
110
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
162
click to vote
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
139
click to vote
IJAR
2010
15 years 1 months ago
2010
For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...