Sciweavers

1664 search results - page 137 / 333
» Towards Partial Reasoning
Sort
View
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 10 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
IAT
2006
IEEE
15 years 10 months ago
Toward Inductive Logic Programming for Collaborative Problem Solving
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
Jian Huang, Adrian R. Pearce
AOSD
2006
ACM
15 years 10 months ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker
FOCS
2005
IEEE
15 years 10 months ago
Towards a Final Analysis of Pairing Heaps
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
Seth Pettie
ITCC
2005
IEEE
15 years 10 months ago
An Autonomous Pricing Strategy toward Market Economy in Computational Grids
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...
Yang Jin, Shoubao Yang, Maosheng Li, Qianfei Fu