Sciweavers

4815 search results - page 171 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
109
Voted
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
15 years 9 months ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
142
Voted
DATAMINE
2002
169views more  DATAMINE 2002»
15 years 3 months ago
Advances in Instance Selection for Instance-Based Learning Algorithms
The basic nearest neighbour classifier suffers from the indiscriminate storage of all presented training instances. With a large database of instances classification response time ...
Henry Brighton, Chris Mellish
161
Voted
LATIN
2004
Springer
15 years 9 months ago
Rotation and Lighting Invariant Template Matching
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
Kimmo Fredriksson, Veli Mäkinen, Gonzalo Nava...
112
Voted
TROB
2002
142views more  TROB 2002»
15 years 3 months ago
A unified geometric approach to modeling and control of constrained mechanical systems
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
Guanfeng Liu, Zexiang Li
185
Voted
IFIP
2007
Springer
15 years 9 months ago
A Framework for QoS Contract Negotiation in Component-Based Applications
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
Mesfin Mulugeta, Alexander Schill