4814 search results - page 89 / 963 » Combining abstract interpreters |
164
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Next to prediction accuracy, the interpretability of models is one of the fundamental criteria for machine learning algorithms. While high accuracy learners have intensively been e...
163
click to vote
SG
2009
Springer
16 years 22 hour ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
132
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
134
click to vote
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
139
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract— A mathematical model for the scheduling of angiogenic inhibitors in combination with a killing agent is considered as an optimal control problem. Initial results on the...