Sciweavers

2043 search results - page 105 / 409
» A convenient category of domains
Sort
View
FUIN
2006
103views more  FUIN 2006»
15 years 6 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
LMCS
2006
79views more  LMCS 2006»
15 years 6 months ago
Computably Based Locally Compact Spaces
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
Paul Taylor 0002
ICCV
2011
IEEE
14 years 6 months ago
Birdlets: Subordinate Categorization Using Volumetric Primitives and Pose-Normalized Appearance
Subordinate-level categorization typically rests on establishing salient distinctions between part-level characteristics of objects, in contrast to basic-level categorization, whe...
Ryan Farrell, Om Oza, Ning Zhang, Vlad I. Morariu,...
DAC
2002
ACM
16 years 7 months ago
Watermarking integer linear programming solutions
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
Seapahn Megerian, Milenko Drinic, Miodrag Potkonja...
WWW
2008
ACM
16 years 7 months ago
A teapot graph and its hierarchical structure of the chinese web
The shape of the Web in terms of its graphical structure has been a widely interested topic. Two graphs, Bow Tie and Daisy, have stood out from previous research. In this work, we...
Jonathan J. H. Zhu, Tao Meng, Zhengmao Xie, Geng L...