10916 search results - page 289 / 2184 » On Constructive Connectives and Systems |
149
click to vote
JCT
2007
15 years 6 months ago
2007
We give the first known examples of 6-sparse Steiner triple systems by constructing 29 such systems in the residue class 7 modulo 12, with orders ranging from 139 to 4447. We the...
184
Voted
SISW
2005
IEEE
16 years 10 days ago
2005
IEEE
A crucial element of distributed cryptographic file systems are key management solutions that allow for flexible but secure data sharing. We consider efficient key management s...
175
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
162
click to vote
ADBIS
1997
Springer
15 years 11 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
162
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...