33356 search results - page 262 / 6672 » Models of Continual Computation |
155
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
: As organizations continue to leverage the Internet for business, there is an increasing demand for platforms that support a variety of different business models
352
click to vote
Book
This is a great draft book about stochastic calculus and finance. It covers large number of topics such as Introduction to Probability Theory, Conditional Expectation, Arbitrage Pr...
165
click to vote
IJSR
2010
15 years 5 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
173
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
184
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...