2362 search results - page 292 / 473 » Programming in Standard ML |
129
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
143
click to vote
JIT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
166
click to vote
CVPR
2003
IEEE
15 years 9 months ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
126
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
144
Voted
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...