2335 search results - page 253 / 467 » Type Checking Type Classes |
81
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...
92
Voted
CSCW
2010
ACM
15 years 9 months ago
2010
ACM
In this work we examine the characteristics of social activity and patterns of communication on Twitter, a prominent example of the emerging class of communication systems we call...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
117
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...