3443 search results - page 379 / 689 » More Algebras for Determiners |
194
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
197
click to vote
SIAMSC
2011
15 years 1 months ago
2011
The classical inexact Newton algorithm is an efficient and popular technique for solving large sparse nonlinear system of equations. When the nonlinearities in the system are wellb...
233
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
This paper uncovers a new phenomenon in web search that we call domain bias — a user’s propensity to believe that a page is more relevant just because it comes from a particul...
179
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
In this paper, we present a neural network-based face detection system. Unlike similar systems which are limited to detecting upright, frontal faces, this system detects faces at ...
288
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper we present a robust method for automatically matching features in images corresponding to the same physical point on an object seen from two arbitrary viewpoints. Un...