2742 search results - page 333 / 549 » Deriving Category Theory from Type Theory |
PAMI
2010
13 years 7 months ago
2010
—Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used for featu...
W2GIS
2007
Springer
14 years 3 months ago
2007
Springer
This paper is motivated by the problem of how to provide better access to ever enlarging collections of digital images. The paper opens by examining the concept of place in geograp...
RE
2005
Springer
14 years 2 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
PADS
2004
ACM
14 years 2 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...