Sciweavers

7991 search results - page 564 / 1599
» Using More Reasoning to Improve
Sort
View
PPDP
2010
Springer
15 years 5 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
TFS
2011
194views Education» more  TFS 2011»
15 years 2 months ago
Top-Down Induction of Fuzzy Pattern Trees
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
R. Senge, Eyke Hüllermeier
SIGMETRICS
2011
ACM
139views Hardware» more  SIGMETRICS 2011»
14 years 10 months ago
Slick packets
Source-controlled routing has been proposed as a way to improve flexibility of future network architectures, as well as simplifying the data plane. However, if a packet specifie...
Giang T. K. Nguyen, Rachit Agarwal, Junda Liu, Mat...
ICC
2007
IEEE
16 years 1 months ago
Maximal Ratio Combining in Cellular MIMO-CDMA Downlink Systems
——In this paper, we first analyze the performance of Maximal Ratio Combining (MRC) scheme for Multiple input multiple output (MIMO) in an interference-limited CDMA cellular sy...
Jing Ma, Yingjun Zhang, Xin Su, Yan Yao
SAC
2006
ACM
16 years 1 months ago
Bootstrapping multi-party ad-hoc security
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...
Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming...