Sciweavers

240 search results - page 31 / 48
» Efficient Variants of the Backward-Oracle-Matching Algorithm
Sort
View
123
Voted
WCET
2010
15 years 18 days ago
A Code Policy Guaranteeing Fully Automated Path Analysis
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
Benedikt Huber, Peter P. Puschner
130
Voted
EMNLP
2009
15 years 16 days ago
Discovery of Term Variation in Japanese Web Search Queries
In this paper we address the problem of identifying a broad range of term variations in Japanese web search queries, where these variations pose a particularly thorny problem due ...
Hisami Suzuki, Xiao Li, Jianfeng Gao
146
Voted
ICCV
2009
IEEE
15 years 15 days ago
Realtime background subtraction from dynamic scenes
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
Li Cheng, Minglun Gong
156
Voted
DEXA
2010
Springer
230views Database» more  DEXA 2010»
15 years 4 days ago
Hybrid Indexing and Seamless Ranking of Spatial and Textual Features of Web Documents
Abstract. There is a significant commercial and research interest in locationbased web search engines. Given a number of search keywords and one or more locations that a user is in...
Ali Khodaei, Cyrus Shahabi, Chen Li
121
Voted
TVCG
2012
196views Hardware» more  TVCG 2012»
13 years 5 months ago
Robust Morse Decompositions of Piecewise Constant Vector Fields
—In this paper, we introduce a new approach to computing a Morse decomposition of a vector field on a triangulated manifold surface. The basic idea is to convert the input vector...
Andrzej Szymczak, Eugene Zhang