16218 search results - page 167 / 3244 » Standards |
125
click to vote
CCCG
2006
15 years 5 months ago
2006
In this paper we study various predicates concerning line transversals to lines and segments in 3D. We compute the degrees of standard methods of evaluating these predicates. The ...
214
click to vote
MAICS
2004
15 years 5 months ago
2004
This paper describes the development of algorithms for extracting the title and the names of the authors from documents available on the World Wide Web. In this paper we describe ...
111
click to vote
WSC
2004
15 years 5 months ago
2004
This paper explores the application of Base Object Models (BOMs), an emerging XML standard, for rapidly composing simulations and simulation environments. We examine how pattern c...
142
click to vote
NIPS
2003
15 years 5 months ago
2003
The standard 2-norm SVM is known for its good performance in twoclass classi£cation. In this paper, we consider the 1-norm SVM. We argue that the 1-norm SVM may have some advanta...
139
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...