3116 search results - page 58 / 624 » Positively dependent types |
129
click to vote
JAT
2007
15 years 6 months ago
2007
We present a generalization of multiple orthogonal polynomials of type I and type II, which we call multiple orthogonal polynomials of mixed type. Some basic properties are formul...
140
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser† We provide a complete data base of all realizable order t...
164
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...
196
click to vote
ENTCS
2002
15 years 6 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
148
click to vote
IJCAI
1993
15 years 7 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...