4502 search results - page 749 / 901 » Regular Model Checking |
150
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
143
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...
142
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
160
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Accurately evaluating statistical independence among random variables is a key component of Independent Component Analysis (ICA). In this paper, we employ a squared-loss ...
140
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
This work proposes the use of maximal variation analysis for feature selection within least squares support vector machines for survival analysis. Instead of selecting a subset of ...