32 search results - page 2 / 7 » lics 2003 |
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
VISUALIZATION
2003
IEEE
13 years 9 months ago
2003
IEEE
Efficient and effective visual presentation of tensor fields is an ongoing research topic in scientific visualization. HyperLIC is a powerful method to visualize 2D and 3D tensor ...
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one fu...