2226 search results - page 418 / 446 » Computable Analysis via Representations |
122
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
149
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
It has been shown that the sparse grid combination technique can be a practical tool to solve high dimensional PDEs arising in multidimensional option pricing problems in finance...
119
click to vote
IWDC
2001
Springer
15 years 6 months ago
2001
Springer
Mobile Internet access is becoming extremely popular because users depend on the Internet for many activities in their daily routine. Satellites are well suited for mobile Interne...
128
click to vote
FPCA
1989
15 years 6 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
LREC
2010
15 years 3 months ago
2010
The collection and transcription of speech data is typically an expensive and time-consuming task. Voice over IP and cloud computing are poised to greatly reduce this impediment t...