Sciweavers

3318 search results - page 149 / 664
» The Weak Instance Model
Sort
View
DEXA
2001
Springer
91views Database» more  DEXA 2001»
14 years 20 days ago
Towards the Development of Heuristics for Automatic Query Expansion
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
Jesús Vilares, Manuel Vilares Ferro, Miguel...
ICRA
2000
IEEE
73views Robotics» more  ICRA 2000»
14 years 17 days ago
Stability Characterizations of Fixtured Rigid Bodies with Coulomb Friction
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
Jong-Shi Pang, Jeffrey C. Trinkle
COCO
1993
Springer
133views Algorithms» more  COCO 1993»
14 years 8 days ago
On Span Programs
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
Mauricio Karchmer, Avi Wigderson
ATVA
2008
Springer
115views Hardware» more  ATVA 2008»
13 years 10 months ago
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
Guoqiang Li, Mizuhito Ogawa
DAC
2005
ACM
13 years 10 months ago
On the need for statistical timing analysis
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
Farid N. Najm