2623 search results - page 259 / 525 » tools 2010 |
187
click to vote
PRICAI
2010
Springer
15 years 4 months ago
2010
Springer
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...
132
Voted
PTS
2010
15 years 4 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
137
Voted
PVLDB
2010
15 years 4 months ago
2010
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
174
click to vote
PVLDB
2010
15 years 4 months ago
2010
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...
129
click to vote
RAS
2010
15 years 4 months ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...