15416 search results - page 2844 / 3084 » Embeddings of Computable Structures |
179
click to vote
SMA
2005
ACM
16 years 6 days ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...
181
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
207
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
137
click to vote
DGCI
2005
Springer
16 years 5 days ago
2005
Springer
Naive discrete planes are well known to be functional on a coordinate plane. The aim of our paper is to extend the functionality concept to a larger family of arithmetic discrete ...
163
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...