14190 search results - page 134 / 2838 » Abstractions for hybrid systems |
162
click to vote
HIS
2004
15 years 7 months ago
2004
Classification of large datasets is a challenging task in Data Mining. In the current work, we propose a novel method that compresses the data and classifies the test data directl...
153
click to vote
WEBI
2007
Springer
16 years 17 days ago
2007
Springer
Collaborative filtering (CF) is one of the most successful approaches for recommendation. In this paper, we propose two hybrid CF algorithms, sequential mixture CF and joint mixtu...
165
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
212
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
149
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...