2177 search results - page 81 / 436 » Relative Margin Machines |
133
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
132
Voted
IUI
2000
ACM
15 years 8 months ago
2000
ACM
We have explored a novel method to find textual relations in electronic documents using genetic programming and semantic networks. This can be used for enhancing information retri...
146
Voted
IS
2008
15 years 3 months ago
2008
This paper approaches the relation classification problem in information extraction framework with different machine learning strategies, from strictly supervised to weakly superv...
110
Voted
VR
2003
IEEE
15 years 9 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
130
Voted
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...