Sciweavers

848 search results - page 68 / 170
» A New Framework For Itemset Generation
Sort
View
FLOPS
2010
Springer
13 years 7 months ago
Proving Injectivity of Functions via Program Inversion in Term Rewriting
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
Naoki Nishida, Masahiko Sakai
TMC
2011
213views more  TMC 2011»
13 years 3 months ago
Expected Routing Overhead for Location Service in MANETs under Flat Geographic Routing
Abstract—We study routing overhead due to location information collection and retrieval in mobile ad-hoc networks employing geographic routing with no hierarchy. We first provid...
R. J. La, Eunyoung Seo
ICPR
2008
IEEE
14 years 3 months ago
Categorization using semi-supervised clustering
Many applications require matching objects to a predefined, yet highly dynamic set of categories accompanied by category descriptions. We present a novel approach to solving this...
Jianying Hu, Moninder Singh, Aleksandra Mojsilovic
IAT
2007
IEEE
14 years 3 months ago
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...
IJCNN
2006
IEEE
14 years 2 months ago
Predictive Random Graph Ranking on the Web
Abstract— The incomplete information about the Web structure causes inaccurate results of various ranking algorithms. In this paper, we propose a solution to this problem by form...
Haixuan Yang, Irwin King, Michael R. Lyu