1127 search results - page 98 / 226 » Theory Extension in ACL2(r) |
174
click to vote
FSKD
2007
Springer
15 years 10 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
172
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
158
click to vote
SIGECOM
2008
ACM
15 years 6 months ago
2008
ACM
We report on an extensive series of highly controlled human subject experiments in networked trade. Our point of departure is a simple and well-studied bipartite network exchange ...
179
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We develop theory and algorithms to incorporate image manifold constraints in a level set segmentation algorithm. This provides a framework to simultaneously segment every image o...
173
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) is one of the wellknown methods for supervised dimensionality reduction. Over the years, many LDA-based algorithms have been developed to cope w...