Sciweavers

1176 search results - page 138 / 236
» Implicit Abstraction Heuristics
Sort
View
JCC
2008
132views more  JCC 2008»
15 years 18 days ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
105
Voted
SIVP
2008
127views more  SIVP 2008»
15 years 16 days ago
Image indexing and retrieval using expressive fuzzy description logics
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
Nikos Simou, Thanos Athanasiadis, Giorgos Stoilos,...
80
Voted
BEHAVIOURIT
2005
54views more  BEHAVIOURIT 2005»
15 years 16 days ago
Understanding and modelling built environments for mobile guide interface design
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
Jeni Paay, Jesper Kjeldskov
119
Voted
TIP
2008
168views more  TIP 2008»
15 years 16 days ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl
101
Voted
JCP
2007
104views more  JCP 2007»
15 years 15 days ago
An Integrated Self-Testing Framework for Autonomic Computing Systems
Abstract— As the technologies of autonomic computing become more prevalent, it is essential to develop methodologies for testing their dynamic self-management operations. Self-ma...
Tariq M. King, Alain E. Ramirez, Rodolfo Cruz, Pet...