3972 search results - page 334 / 795 » Palpability Support Demonstrated |
121
click to vote
SAC
1997
ACM
15 years 8 months ago
1997
ACM
At the 1996 Symposium on Applied Computing, it was argued that the R-by-C Crozzle problem was NP-Hard, but not in NP. The original Crozzle problem is a word puzzle that appears, w...
140
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
125
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
126
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
172
click to vote
HIM
1997
Springer
15 years 8 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...