Sciweavers

2638 search results - page 456 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
GIS
2007
ACM
16 years 7 months ago
Dynamic storage balancing in a distributed spatial index
We propose a general framework to index very large datasets of spatial data in a distributed system. Our proposal is built on the recently proposed Scalable Distributed Rtree (SD-...
Cédric du Mouza, Philippe Rigaux, Witold Li...
ISIPTA
2005
IEEE
125views Mathematics» more  ISIPTA 2005»
15 years 12 months ago
Evidential modeling for pose estimation
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
Fabio Cuzzolin, Ruggero Frezza
LOGCOM
2008
81views more  LOGCOM 2008»
15 years 6 months ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
EUROPKI
2005
Springer
15 years 12 months ago
A Heterogeneous Network Access Service Based on PERMIS and SAML
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
Gabriel López Millán, Óscar C...
ISSRE
2010
IEEE
15 years 4 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...