Sciweavers

2783 search results - page 150 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
INFOCOM
2006
IEEE
16 years 15 days 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 6 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
16 years 19 days 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 11 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 11 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