165 search results - page 7 / 33 » Building Strong Semi-Autonomous Systems |
112
click to vote
RSP
2007
IEEE
15 years 6 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...
108
Voted
ATVA
2009
Springer
15 years 7 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...
121
Voted
IDA
2010
Springer
14 years 11 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...
DEXAW
2007
IEEE
15 years 6 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...
103
Voted
ENTCS
2011
14 years 7 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...