Sciweavers

3175 search results - page 72 / 635
» Network properties of folksonomies
Sort
View
DMSN
2006
ACM
15 years 5 months ago
Transactional issues in sensor data management
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
Levent Gürgen, Claudia Roncancio, Cyril Labb&...
DSN
2000
IEEE
15 years 4 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
IWINAC
2007
Springer
15 years 6 months ago
Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
Anthony Karel Seda
AAAI
1994
15 years 1 months ago
HTN Planning: Complexity and Expressivity
Most practical work on AI planningsystems during the last fteen years has been based on hierarchical task network (HTN) decomposition, but until now, there has been very little an...
Kutluhan Erol, James A. Hendler, Dana S. Nau
GCC
2003
Springer
15 years 5 months ago
An Improved Network Broadcasting Method Based on Gnutella Network
Peer-to-peer networking is a hot buzzword that has been sweeping through the computing industry over the past year or so. Gnutella, as one of the first operational pure P2P systems...
Zupeng Li, Xiubin Zhao, Daoyin Huang, Jianhua Huan...