1802 search results - page 12 / 361 » Complexity Theory for Operators in Analysis |
92
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
77
Voted
IANDC
1998
14 years 11 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
105
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
90
Voted
SIBGRAPI
2007
IEEE
15 years 5 months ago
2007
IEEE
Cell segmentation is a challenging problem due to both the complex nature of the cells and the uncertainty present in video microscopy. Manual methods for this purpose are onerous...
92
Voted
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...