6167 search results - page 150 / 1234 » Can Refinement be Automated |
127
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
117
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
131
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
123
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
157
click to vote
IA
2006
15 years 4 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...