Sciweavers

1689 search results - page 223 / 338
» On Natural Non-dcpo Domains
Sort
View
IAT
2006
IEEE
16 years 12 days ago
A Market-Based Adaptation for Resolving Competing Needs for Scarce Resources
The dynamic nature of many real-world domains (e.g., military, emergency first response and hurricane relief, etc) requires adaptive resource allocation to respond to changes in t...
Rui Wang, Tracy Mullen, Viswanath Avasarala, John ...
ICDM
2006
IEEE
137views Data Mining» more  ICDM 2006»
16 years 12 days ago
Automatic Construction of N-ary Tree Based Taxonomies
Hierarchies are an intuitive and effective organization paradigm for data. Of late there has been considerable research on automatically learning hierarchical organizations of dat...
Kunal Punera, Suju Rajan, Joydeep Ghosh
IPCCC
2006
IEEE
16 years 11 days ago
On capturing and containing E-mail worms
Capturing an e-mail worm and containing its propagation as early as possible is desirable in order to provide better protection for the networks and hosts against severe damage th...
Chin-Tser Huang, Nathan L. Johnson, Jeff Janies, A...
ISM
2006
IEEE
95views Multimedia» more  ISM 2006»
16 years 11 days ago
Digital Rights Management for Video Sensor Network
Video sensor network is evolving from an isolated system to an integral component of the global information infrastructure. In this paper, we argue that when video sensor network ...
Taojun Wu, Liang Dai, Yuan Xue, Yi Cui
ACL2
2006
ACM
16 years 10 days ago
Parameterized congruences in ACL2
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
David Greve