2173 search results - page 280 / 435 » An operational semantics for skeletons |
114
click to vote
ENTCS
2006
15 years 25 days ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
103
Voted
FUIN
2006
15 years 25 days ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
89
Voted
ML
2008
ACM
15 years 23 days ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
115
Voted
PRL
2006
15 years 22 days ago
2006
Information retrieval which aims to provide people with easy access to all kinds of information is now becoming more and more emphasized. However, most approaches to information r...
106
click to vote
TCSV
2008
15 years 22 days ago
2008
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...