3238 search results - page 242 / 648 » On the Computational Interpretation of Negation |
176
click to vote
TLCA
2009
Springer
16 years 1 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...
166
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
The resolution of combinatorial assortments of protein sequences into domains is a prerequisite for protein sequence interpretation. However the recognition and clustering of homo...
159
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Most systems for content based image retrieval (CBIR) employ low level image features as a similarity measure. The problem of CBIR systems is that they are a “black box” to th...
174
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
208
click to vote
ICCV
2005
IEEE
16 years 7 days ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...