Sciweavers

4103 search results - page 646 / 821
» Some results on the Collatz problem
Sort
View
EPIA
2005
Springer
15 years 12 months ago
Logical Implementation of Uncertain Agents
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
EUC
2005
Springer
15 years 12 months ago
FERMA: An Efficient Geocasting Protocol for Wireless Sensor Networks with Multiple Target Regions
Some sensor applications are interested in collecting data from multiple regions. For supporting such applications with multiple target regions, most conventional protocols are bas...
Young-Mi Song, Sung-Hee Lee, Young-Bae Ko
GCC
2005
Springer
15 years 12 months ago
An Adaptive Service Strategy Based on User Rating in P2P
In order to deal with free riding in P2P system, incentive mechanism or rating system is presented, and each user rating is computed by itself, which causes that some users exagger...
Jianming Fu, Lei Zhang, Weinan Li, Huanguo Zhang
GCC
2005
Springer
15 years 12 months ago
The Architecture of SIG Computing Environment and Its Application to Image Processing
Spatial Information Grid (SIG) is a project of applying grid technology to share and integrate spatial data resources, information processing resources, equipment resources, and kn...
Chunhui Yang, Deke Guo, Yan Ren, Xueshan Luo, Jinf...
GD
2005
Springer
15 years 12 months ago
Fast Node Overlap Removal
Most graph layout algorithms treat nodes as points. The problem of node overlap removal is to adjust the layout generated by such methods so that nodes of non-zero width and height...
Tim Dwyer, Kim Marriott, Peter J. Stuckey