Sciweavers

5055 search results - page 223 / 1011
» Relative Timing
Sort
View
ICPR
2000
IEEE
16 years 7 months ago
Orbit and Sinus Classification Based on Force Histogram Computation
In a previous work, we defined a new approach to evaluating directional relations between objects (such as "is to the right of", "is above"...). The approach i...
Pascal Matsakis, Laurent Wendling
ICML
2001
IEEE
16 years 7 months ago
Some Theoretical Aspects of Boosting in the Presence of Noisy Data
This is a survey of some theoretical results on boosting obtained from an analogous treatment of some regression and classi cation boosting algorithms. Some related papers include...
Wenxin Jiang
WWW
2004
ACM
16 years 7 months ago
Surfing the web by site
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
David Gibson
CCA
2009
Springer
16 years 1 months ago
Curves That Must Be Retraced
We exhibit a polynomial time computable plane curve Γ that has finite length, does not intersect itself, and is smooth except at one endpoint, but has the following property. For...
Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo
TABLEAUX
2009
Springer
16 years 1 months ago
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
Mark Kaminski, Sigurd Schneider, Gert Smolka