Sciweavers

21430 search results - page 3889 / 4286
» Abstract Effective Models
Sort
View
155
Voted
ICLP
2010
Springer
15 years 9 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
126
Voted
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 9 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
ESWS
2007
Springer
15 years 9 months ago
Towards Semantic Social Networks
Abstract. Computer manipulated social networks are usually built from the explicit assertion by users that they have some relation with other users or by the implicit evidence of s...
Jason J. Jung, Jérôme Euzenat
168
Voted
WCNC
2010
IEEE
15 years 9 months ago
Credit-Based Spectrum Sharing for Cognitive Mobile Multihop Relay Networks
Abstract—In cognitive mobile multihop relay (CMMR) network, the mobile user as the primary user is allocated with the channel for transmitting data. Relay station as the secondar...
Dusit Niyato, Ping Wang
GLOBECOM
2007
IEEE
15 years 9 months ago
A Novel Scheduling Algorithm for Video Traffic in High-Rate WPANs
Abstract-- The emerging high-rate wireless personal area network (WPAN) technology is capable of supporting high-speed and high-quality real-time multimedia applications. In partic...
Shahab Moradi, Amir Hamed Mohsenian Rad, Vincent W...
« Prev « First page 3889 / 4286 Last » Next »