2062 search results - page 313 / 413 » Derivatives of Logical Formulas |
150
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper we propose a model to predict the performance of synchronous discrete event simulation. The model considers parameters including the number of active objects per cyc...
175
click to vote
WISE
2009
Springer
16 years 20 days ago
2009
Springer
Results clustering in Web Searching is useful for providing users with overviews of the results and thus allowing them to restrict their focus to the desired parts. However, the ta...
145
click to vote
ICASSP
2009
IEEE
16 years 18 days ago
2009
IEEE
In this paper, we describe CALM, a method for building statistical language models for the Web. CALM addresses several unique challenges dealing with the Web contents. First, CALM...
142
click to vote
ICRA
2009
IEEE
16 years 15 days ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...
154
click to vote
IEEECGIV
2009
IEEE
16 years 15 days ago
2009
IEEE
—There are several methods used for plotting curves in CAGD, e.g., by directly computing their basis functions (polynomials) or using their recursive algorithms. For the former m...