498 search results - page 68 / 100 » Model Validation using Automatically Generated Requirements-... |
106
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
105
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
120
Voted
AIPS
2007
15 years 4 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
126
click to vote
WSC
2000
15 years 3 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
118
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...