4087 search results - page 120 / 818 » Sets in Types, Types in Sets |
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
CDC
2009
IEEE
14 years 9 days ago
2009
IEEE
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
CCCG
2001
13 years 10 months ago
2001
We propose a hull operator, the reflex-free hull, that allows us to define a 3D analogue to bays in polygons. The reflex-free hull allows a rich set of topological types, yet for ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
DCG
2000
13 years 8 months ago
2000
We consider rotations A, B of finite order in SO(3), about axes separated by an angle of restricted type, and attempt to classify the possible group relations between A and B. We s...