886 search results - page 146 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Image keypoints are broadly used in robotics for different purposes, ranging from recognition to 3D reconstruction, passing by SLAM and visual servoing. Robust keypoint matchin...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
KES
2007
Springer
15 years 4 months ago
2007
Springer
The current Information Retrieval Systems return hundreds or thousands of documents in response to a query. Users consider only the first 20 or 30, but documents are often sorted a...
JAIR
2006
14 years 9 months ago
2006
In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either e...
111
click to vote
KDD
2012
ACM
13 years 8 days ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...