21379 search results - page 3889 / 4276 » The profession of IT - Evolutionary system development |
175
click to vote
STTT
2008
15 years 6 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
162
click to vote
SWARM
2008
SPRINGER
15 years 6 months ago
2008
SPRINGER
Abstract Stage is a C++ software library that simulates multiple mobile robots. Stage version 2, as the simulation backend for the Player/Stage system, may be the most commonly use...
138
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
182
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
208
click to vote
IJSWIS
2007
15 years 6 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...