896 search results - page 106 / 180 » Stepwise Refinement of Processes |
119
click to vote
CG
2008
Springer
15 years 2 months ago
2008
Springer
Many graphics applications represent deformable surfaces through dynamic meshes. To be consistent during deformations, the dynamic meshes require an adaptation process. In this pa...
138
Voted
ENTCS
2008
15 years 2 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
147
click to vote
ENTCS
2006
15 years 2 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper presents a micro electrostatic vibration-toelectricity energy converter. For the 3.3 V supply voltage and 1cm2 chip area constraints, optimal design parameters were fou...
124
Voted
JMLR
2002
15 years 2 months ago
2002
Cross-validation is a useful and generally applicable technique often employed in machine learning, including decision tree induction. An important disadvantage of straightforward...