Sciweavers

747 search results - page 44 / 150
» Consequence Relations In DRT
Sort
View
EJC
2010
13 years 7 months ago
Bandwidth, expansion, treewidth, separators and universality for bounded-degree graphs
We establish relations between the bandwidth and the treewidth of bounded degree graphs G, and relate these parameters to the size of a separator of G as well as the size of an exp...
Julia Böttcher, Klaas P. Pruessmann, Anusch T...
FS
2006
82views more  FS 2006»
13 years 7 months ago
A super-replication theorem in Kabanov's model of transaction costs
We prove a general version of the super-replication theorem, which applies to Kabanov's model of foreign exchange markets under proportional transaction costs. The market is ...
Luciano Campi, Walter Schachermayer
SAC
2006
ACM
13 years 7 months ago
Editorial message: special track on ubiquitous computing
Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology r...
Achilles Kameas, George Roussos
STTT
2008
134views more  STTT 2008»
13 years 7 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
ISCI
2000
100views more  ISCI 2000»
13 years 7 months ago
A neurobiological interpretation of semiotics: meaning, representation, and information
The branch of semiotics called semantics deals with the relation between meanings and representations, widely known as the symbol grounding problem. The other branches of semiotic...
Walter J. Freeman