585 search results - page 63 / 117 » Better Abstractions for Timed Automata |
ADMA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper proposes a new support vector machine (SVM) with a robust loss function for data mining. Its dual optimal formation is also constructed. A gradient based algor...
57
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Employee knowledge is a key asset of every corporate organization. Therefore organizations strive to preserve this knowledge in its different forms in a variety of ways. ...
DL
1999
Springer
15 years 4 months ago
1999
Springer
Three types of video surrogates visual (keyframes), verbal (keywords/phrases), and visual and verbal were designed and studied in a qualitative investigation of user cognitive pro...
99
Voted
FPLE
1995
15 years 4 months ago
1995
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
86
Voted
AINA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--In this paper, we present new algorithms for matching Web services described in YASA4WSDL (YASA for short). We have already defined YASA that overcomes some issues missin...