2573 search results - page 282 / 515 » Combinations of Modal Logics |
179
click to vote
MC
2001
15 years 8 months ago
2001
Designing human-computer interfaces that are easy and intuitive to use is important for the use of computer technology in general. Due to the growing complexity of information sys...
185
click to vote
JAIR
2002
15 years 6 months ago
2002
Is there a general model that can predict the perceived phrase structure in language and music? While it is usually assumed that humans have separate faculties for language and mu...
175
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
135
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
— We present analytical formulas for the calculation of the memory requirements for a system using the Complex Logarithmic Number System (CLNS). Certain properties of the CLNS ad...
164
click to vote
SFP
2004
15 years 8 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...