23004 search results - page 4417 / 4601 » Evaluation of Adaptive Systems |
170
click to vote
AAAI
1993
15 years 8 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
176
click to vote
ISMB
1996
15 years 8 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
158
click to vote
WCE
2007
15 years 7 months ago
2007
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
239
click to vote
AAAI
2008
15 years 7 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
175
click to vote
BCSHCI
2009
15 years 7 months ago
2009
Personal robots and screen agents can be equipped with social abilities to facilitate interaction. This paper describes our research on the influence of these abilities on elderly...