1195 search results - page 228 / 239 » Interactive graphic design using automatic presentation know... |
BMCBI
2007
13 years 8 months ago
2007
Background: Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions i...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
TPHOL
1999
IEEE
14 years 3 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
IDA
2002
Springer
13 years 7 months ago
2002
Springer
The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for t...