Sciweavers

200 search results - page 13 / 40
» Sketching valuation functions
Sort
View
MSS
2008
IEEE
58views Hardware» more  MSS 2008»
14 years 9 months ago
Licensing of a quality-improving innovation
This paper considers the licensing of a quality-improving innovation. We analyze a duopoly model with heterogeneous firms and consumers. Firms compete in prices and face logit dem...
Giorgos Stamatopoulos, Yair Tauman
162
Voted
POPL
2006
ACM
15 years 9 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
122
Voted
FOCS
2000
IEEE
15 years 1 months ago
Stable Distributions, Pseudorandom Generators, Embeddings and Data Stream Computation
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
Piotr Indyk
93
Voted
CHI
2011
ACM
14 years 1 months ago
Improving the safety of homeless young people with mobile phones: values, form and function
By their pervasiveness and by being worn on our bodies, mobile phones seem to have become intrinsic to safety. To examine this proposition, 43 participants, from four stakeholder ...
Jill Palzkill Woelfer, Amy Iverson, David G. Hendr...
AVI
2004
14 years 11 months ago
Sim-U-Sketch: a sketch-based interface for SimuLink
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
Levent Burak Kara, Thomas F. Stahovich