1743 search results - page 126 / 349 » Generalized Modal Satisfiability |
119
click to vote
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
An experiment was conducted to investigate how performance of a reach, grasp and place task was influenced by added auditory and graphical cues. The cues were presented at points ...
125
Voted
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
CHI
1999
ACM
15 years 5 months ago
1999
ACM
The proliferation of multiple toolbars and UI widgets around the perimeter of application windows is an indication that the traditional GUI design of a single menubar is not suffi...
111
Voted
MICCAI
1999
Springer
15 years 5 months ago
1999
Springer
Interpolation is required in many medical image processing operations. From sampling theory, it follows that the ideal interpolation kernel is the sinc function, which is of infin...
115
Voted
CSL
1992
Springer
15 years 5 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...