Sciweavers

329 search results - page 58 / 66
» Applying adaptive test cases to nondeterministic implementat...
Sort
View
BMCBI
2007
136views more  BMCBI 2007»
13 years 7 months ago
Automating document classification for the Immune Epitope Database
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
Peng Wang, Alexander A. Morgan, Qing Zhang, Alessa...
SP
2002
IEEE
114views Security Privacy» more  SP 2002»
13 years 7 months ago
Efficiently building on-line tools for distributed heterogeneous environments
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
Günther Rackl, Thomas Ludwig 0002, Markus Lin...
CRV
2008
IEEE
205views Robotics» more  CRV 2008»
14 years 1 months ago
Accurate Boundary Localization using Dynamic Programming on Snakes
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
Akshaya Kumar Mishra, Paul W. Fieguth, David A. Cl...
AAAI
1998
13 years 8 months ago
Position Estimation for Mobile Robots in Dynamic Environments
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
Dieter Fox, Wolfram Burgard, Sebastian Thrun, Armi...
CONCUR
2010
Springer
13 years 8 months ago
Learning I/O Automata
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
Fides Aarts, Frits W. Vaandrager