Sciweavers

2646 search results - page 394 / 530
» Local Type Inference
Sort
View
CI
2007
124views more  CI 2007»
15 years 24 days ago
Searching for Explanatory Web Pages Using Automatic Query Expansion
: When one tries to use the Web as a dictionary or encyclopedia, entering some single term into a search engine, the highly-ranked pages in the result can include irrelevant or use...
Manabu Tauchi, Nigel Ward
103
Voted
JAIR
2006
102views more  JAIR 2006»
15 years 23 days ago
Multiple-Goal Heuristic Search
This paper presents a new framework for anytime heuristic search where the task is to achieve as many goals as possible within the allocated resources. We show the inadequacy of t...
Dmitry Davidov, Shaul Markovitch
81
Voted
JGAA
2006
72views more  JGAA 2006»
15 years 23 days ago
A Multilevel Algorithm for the Minimum 2-sum Problem
In this paper we introduce a direct motivation for solving the minimum 2-sum problem, for which we present a linear-time algorithm inspired by the Algebraic Multigrid approach whi...
Ilya Safro, Dorit Ron, Achi Brandt
105
Voted
ROBOTICA
2006
116views more  ROBOTICA 2006»
15 years 22 days ago
Hybrid velocity/force control for robot navigation in compliant unknown environments
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
Dushyant Palejiya, Herbert G. Tanner
81
Voted
TCAD
2008
73views more  TCAD 2008»
15 years 21 days ago
Reduction of Parametric Failures in Sub-100-nm SRAM Array Using Body Bias
Abstract--In this paper, we present a postsilicon-tuning technique to improve parametric yield of SRAM array using body bias (BB). First, we show that, although parametric failures...
Saibal Mukhopadhyay, Hamid Mahmoodi, Kaushik Roy