3690 search results - page 353 / 738 » Computation with classical sequents |
186
click to vote
PRICAI
2004
Springer
16 years 29 days 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 ...
174
click to vote
ASAP
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
188
click to vote
INFOCOM
2003
IEEE
16 years 27 days ago
2003
IEEE
—We obtain detailed analytic formulas for the density and probability distribution of the waiting time in a time-division multiple-access (TDMA) model with a finite buffer and s...
222
click to vote
ASP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
167
click to vote
CSCLP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...