3255 search results - page 111 / 651 » Combination of Abstractions in the ASTR |
INAP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
MCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Multiclass SVMs are usually implemented by combining several two-class SVMs. The one-versus-all method using winner-takes-all strategy and the one-versus-one method imple...
MIRRORBOT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Improving the game play in RoboCup middle size league requires a fast and robust visual robot detection system. The presented multilevel approach documents, that the comb...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...