274 search results - page 38 / 55 » An Alternative to Deep Case for Representing Relational Info... |
ML
2010
ACM
13 years 6 months ago
2010
ACM
Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There ...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—Opportunistic ad-hoc communication enables portable devices such as smartphones to effectively exchange information, taking advantage of their mobility and locality. The nature ...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Following the design philosophy of XCP, VCP is a router-assisted congestion protocol that intends to balance the efficiency and the fairness control in high Bandwidth-Delay Pro...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Incorporating probabilities into the semantics of incomplete databases has posed many challenges, forcing systems to sacrifice modeling power, scalability, or treatment of relatio...