4636 search results - page 480 / 928 » Modelling and Validation with VipTool |
188
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Cluster analysis has been widely applied for investigating structure in bio-molecular data. A drawback of most clustering algorithms is that they cannot automatically ...
203
click to vote
ALGORITHMICA
2004
15 years 7 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
213
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
186
click to vote
SPIN
2005
Springer
16 years 17 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
195
click to vote
ICRA
2002
IEEE
16 years 23 hour ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...