2702 search results - page 250 / 541 » Practically Applicable Formal Methods |
117
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...
127
Voted
DAGM
2005
Springer
15 years 8 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
113
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
125
click to vote
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
106
click to vote
ASWEC
2004
IEEE
15 years 6 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...