746 search results - page 44 / 150 » On the Generation of Oriented Matroids |
DBPL
1997
Springer
14 years 26 days ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
EDOC
2004
IEEE
14 years 13 days ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
FORTEST
2008
13 years 10 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
KI
2008
Springer
13 years 8 months ago
2008
Springer
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
HICSS
2011
IEEE
13 years 13 days ago
2011
IEEE
This paper describes a course in innovation offered to students at the University of Magdeburg in Germany. The course is based on the premise that idea generation can be viewed as...