22193 search results - page 4127 / 4439 » Multiple Restricted Multiplication |
144
click to vote
CHI
1994
ACM
15 years 7 months ago
1994
ACM
ToolglassTM widgets are new user interface tools that can appear, as though on a transparent sheet of glass, between an application and a traditional cursor. They can be positione...
137
click to vote
FOCS
1991
IEEE
15 years 7 months ago
1991
IEEE
We wish to increase the power of an arbitrary algorithm designed for non-degenerate input, by allowing it to execute on all inputs. We concentrate on in nitesimal symbolic perturba...
ISPW
1991
IEEE
15 years 7 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
150
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
158
click to vote
APGV
2010
ACM
2010
ACM
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks
15 years 7 months ago
In order to perform daily maintenance and repair tasks in complex electrical and mechanical systems, technicians commonly utilize a large number of diagrams and documents detailin...