3319 search results - page 493 / 664 » Type Theoretical Databases |
126
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
158
click to vote
JGAA
2000
15 years 4 months ago
2000
This paper considers problems of the following type: given an edgeweighted k-colored input graph with maximum color class size c, find a minimum or maximum c-way cut such that eac...
156
click to vote
JECR
2002
15 years 4 months ago
2002
As the mobile Internet has been used explosively worldwide, the effects of cultural factors on mobile Internet have been an interesting issue. The objectives of this study are to ...
144
click to vote
JIFS
2002
15 years 4 months ago
2002
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...
129
click to vote
JOLLI
2002
15 years 4 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...