877 search results - page 125 / 176 » Full Abstraction for HOPLA |
AVI
2010
13 years 10 months ago
2010
Advanced visual interfaces, like the ones found in informaualization, intend to offer a view on abstract data spaces to enable users to make sense of them. By mapping data to visu...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
TON
2012
11 years 11 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
TVCG
2012
11 years 11 months ago
2012
Abstract—Head-mounted displays (HMDs) allow users to observe virtual environments (VEs) from an egocentric perspective. However, several experiments have provided evidence that e...
WALCOM
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...