814 search results - page 123 / 163 » Generic Model Abstraction from Examples |
114
Voted
SG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
100
Voted
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
137
Voted
ISI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...
105
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
127
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...