11017 search results - page 2 / 2204 » Closure Systems and their Structure |
FCS
2009
13 years 3 months ago
2009
A closure operator for interval order structures has been introduced and its basic properties analysed. The operator is an equivalence of 3-closure operator of [11] for stratified ...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— This paper describes a 3D SLAM system using information from an actuated laser scanner and camera installed on a mobile robot.The laser samples the local geometry of the enviro...
FCT
2009
Springer
13 years 12 months ago
2009
Springer
We argue that closure operators are fundamental tools for the study of relationships between order structures and their sequence representations. We also propose and analyse a clos...
POPL
1998
ACM
13 years 9 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
RSCTC
1998
Springer
13 years 9 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...