199 search results - page 36 / 40 » An Intelligent System for Comparing Protein Structures |
109
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
AOSE
2004
Springer
15 years 5 months ago
2004
Springer
Several agent-oriented methodologies have been proposed over the last few years. Unlike the object-oriented domain and unfortunately for designers, most of the time, each methodolo...
93
Voted
ASSETS
2005
ACM
15 years 1 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
120
click to vote
UAIS
2010
14 years 6 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
102
Voted
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Legged robots show promise for complex mobility tasks, such as navigating rough terrain, but the design of their control software is both challenging and laborious. Traditional...