9405 search results - page 351 / 1881 » Computing a Model of Set Theory |
159
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
141
click to vote
ICDCSW
2008
IEEE
16 years 14 days ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
139
click to vote
GD
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we study the k-tree partition problem which is a partition of the set of edges of a graph into k edge-disjoint trees. This problem occurs at several places with appl...
197
click to vote
WMP
2000
15 years 9 months ago
2000
This paper is an attempt to summarize the basic elements of the multiset theory. We begin by describing multisets and the operations between them, then we present hybrid sets and t...
142
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...