Sciweavers

248 search results - page 6 / 50
» Sublocales in formal topology
Sort
View
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
14 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
14 years 1 months ago
A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
Ernesto Staffetti, Wim Meeussen, Jing Xiao
TAL
2010
Springer
13 years 2 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés
GIS
2008
ACM
14 years 8 months ago
Detecting basic topological changes in sensor networks by local aggregation
Wireless sensor networks (WSNs) can provide real-time information about geospatial environments, and so have the potential to play an important role in the monitoring of geographi...
Jixiang Jiang, Michael F. Worboys
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
13 years 12 months ago
On 3D Topological Relationships
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
Sisi Zlatanova