Sciweavers

892 search results - page 92 / 179
» integration 2002
Sort
View
VISUALIZATION
2002
IEEE
14 years 1 months ago
Visualizing Dynamic Molecular Conformations
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...
Johannes Schmidt-Ehrenberg, Daniel Baum, Hans-Chri...
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
14 years 1 months ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...
WACV
2002
IEEE
14 years 1 months ago
Automatic Pose Estimation of Complex 3D Building Models
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
Sung Chun Lee, Soon Ki Jung, Ramakant Nevatia
AMAST
2000
Springer
14 years 1 months ago
A New Logic for Electronic Commerce Protocols
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
Kamel Adi, Mourad Debbabi, Mohamed Mejri
UAI
2003
13 years 10 months ago
Markov Random Walk Representations with Continuous Distributions
We propose a framework to extend Markov random walks (Szummer and Jaakkola, 2001) to a continuum of points. In this framework, the transition probability between two points is the...
Chen-Hsiang Yeang, Martin Szummer