Sciweavers

2783 search results - page 150 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
INFOCOM
2006
IEEE
15 years 7 months ago
Delay and Capacity Trade-Offs in Mobile Ad Hoc Networks: A Global Perspective
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...
Gaurav Sharma, Ravi Mazumdar, Ness B. Shroff
SIGMOD
2007
ACM
137views Database» more  SIGMOD 2007»
16 years 1 months ago
Intensional associations between data and metadata
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
Divesh Srivastava, Yannis Velegrakis
CSL
2007
Springer
15 years 7 months ago
Linear Realizability
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
Naohiko Hoshino
KR
2004
Springer
15 years 7 months ago
Expressive Power and Succinctness of Propositional Languages for Preference Representation
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
Sylvie Coste-Marquis, Jérôme Lang, Pa...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 6 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka