4666 search results - page 220 / 934 » Equations on Timed Languages |
162
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
177
Voted
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
211
click to vote
EMNLP
2010
15 years 4 months ago
2010
Using multi-layer neural networks to estimate the probabilities of word sequences is a promising research area in statistical language modeling, with applications in speech recogn...
158
click to vote
EPEW
2005
Springer
16 years 4 days ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
121
click to vote
SIGMOD
1987
ACM
15 years 10 months ago
1987
ACM
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...