4036 search results - page 547 / 808 » Formal Methods |
156
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Many studies have now shown that it is possible to recognize people by the way they walk. As yet there has been little formal study of people recognition using the kinematic-relat...
172
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
160
click to vote
ANSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
178
click to vote
WCRE
2006
IEEE
16 years 18 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
174
click to vote
EOR
2006
15 years 6 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...