Sciweavers

1716 search results - page 287 / 344
» Proving Conditional Termination
Sort
View
103
Voted
JSAC
2008
118views more  JSAC 2008»
15 years 23 days ago
Auction-Based Resource Allocation for Cooperative Communications
Abstract--Distributed and efficient resource allocation is critical for fully realizing the benefits of cooperative communications in large scale communication networks. This paper...
Jianwei Huang, Zhu Han, Mung Chiang, H. Vincent Po...
DKE
2007
90views more  DKE 2007»
15 years 23 days ago
On utilizing variables for specifying FDs in data-centric XML documents
We are interested in specifying functional dependencies (FDs) for data-centric XML documents (XML documents that are used mainly for data storage). FDs are a natural constraint. S...
Wai Yin Mok
115
Voted
DKE
2007
119views more  DKE 2007»
15 years 23 days ago
Association rules mining using heavy itemsets
A well-known problem that limits the practical usage of association rule mining algorithms is the extremely large number of rules generated. Such a large number of rules makes the...
Girish Keshav Palshikar, Mandar S. Kale, Manoj M. ...
119
Voted
EAAI
2007
99views more  EAAI 2007»
15 years 22 days ago
Data mining for agent reasoning: A synergy for training intelligent agents
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...
Andreas L. Symeonidis, Kyriakos C. Chatzidimitriou...
101
Voted
ECCC
2007
62views more  ECCC 2007»
15 years 22 days ago
Space Hierarchy Results for Randomized and Other Semantic Models
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
Jeff Kinne, Dieter van Melkebeek