4841 search results - page 397 / 969 » On dynamic feature location |
202
click to vote
BVAI
2007
Springer
15 years 11 months ago
2007
Springer
Face recognition is among the most challenging techniques for personal identity verification. Even though it is so natural for humans, there are still many hidden mechanisms which ...
212
click to vote
FASE
2000
Springer
15 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
199
click to vote
ISIM
2007
15 years 9 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
219
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
Long-term reliability of processors in embedded systems is experiencing growing attention since decreasing feature sizes and increasing power consumption have a negative influence...
205
click to vote
IADIS
2003
15 years 9 months ago
2003
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...