165 search results - page 7 / 33 » Building Strong Semi-Autonomous Systems |
138
Voted
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
132
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
158
Voted
IDA
2010
Springer
15 years 2 months ago
2010
Springer
Stacking is a widely used technique for combining classifiers and improving prediction accuracy. Early research in Stacking showed that selecting the right classifiers, their par...
100
click to vote
DEXAW
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
137
Voted
ENTCS
2011
14 years 10 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...