146 search results - page 14 / 30 » Understanding Algorithms by Means of Visualized Path Testing |
TCBB
2010
14 years 8 months ago
2010
— Analysis of conformational changes is one of the keys to the understanding of protein functions and interactions. For the analysis, we often compare two protein structures, tak...
JSAC
2006
14 years 9 months ago
2006
The frequent and large-scale network attacks have led to an increased need for developing techniques for analyzing network traffic. This paper presents NetViewer, a network measure...
ICML
2010
IEEE
14 years 9 months ago
2010
IEEE
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
APN
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...