5350 search results - page 329 / 1070 » Space and time in eco-ontologies |
185
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
174
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
We show that for every set S of n points in the plane and a designated point rt ∈ S, there exists a tree T that has small maximum degree, depth and weight. Moreover, for every po...
184
click to vote
LCPC
2007
Springer
16 years 28 days ago
2007
Springer
Remote Direct Memory Access (RDMA) is a technology to update a remote machine’s memory without intervention at the receiver side. We evaluate where RDMA can be usefully applied a...
164
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
For decades transnational communities of immigrants have used various forms of communication to maintain ties with their places of origin. The Internet constitutes an alternative ...
170
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
We consider the problem of partitioning, in a highly accurate and highly efficient way, a set of n documents lying in a metric space into k non-overlapping clusters. We augment th...