4482 search results - page 732 / 897 » The Crowdsourcing Design Space |
RSCTC
2000
Springer
14 years 21 days ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
CHI
1995
ACM
14 years 21 days ago
1995
ACM
We introduce the concept of Graspable User Interfaces that allow direct control of electronic or virtual objects through physical handles for control. These physical artifacts, wh...
TACAS
2000
Springer
14 years 21 days ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
DAC
1995
ACM
14 years 21 days ago
1995
ACM
We propose a novel optimization scheme that can improve the routing by reducing a newly observed router decaying effect. A pair of greedy-grow algorithms, each emphasizing a diffe...
ICCAD
1995
IEEE
14 years 21 days ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...