4690 search results - page 247 / 938 » An operational semantics for Scheme |
204
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
Most existing lossless image compression schemes operate on grey-scale images. However, in the case of colour images, higher compression ratios can be achieved by exploiting inter...
196
click to vote
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we propose a simple and effective scheme for screen image scaling, targeting at real-time applications like remote desktop and screen sharing. To balance visual qua...
200
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
214
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
180
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...