378 search results - page 40 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
106
Voted
ICN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
135
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
126
click to vote
FLAIRS
2006
15 years 4 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
148
click to vote
WOTUG
2008
15 years 4 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
115
click to vote
COMPGEOM
2008
ACM
15 years 4 months ago
2008
ACM
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...