1878 search results - page 93 / 376 » The Vienna Abstract Machine |
140
Voted
ICIAP
2009
ACM
15 years 8 days ago
2009
ACM
Abstract. Shape classification using graphs and skeletons usually involves edition processes in order to reduce the influence of structural noise. However, edition distances can no...
111
Voted
TC
1998
15 years 2 months ago
1998
In a computer network that consists of M subnetworks, the L-bit address of a machine consists of two parts: A pre x si that contains the address of the subnetwork to which the mac...
167
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
120
Voted
IUI
2012
ACM
13 years 10 months ago
2012
ACM
Recent computer vision approaches are aimed at richer image interpretations that extend the standard recognition of objects in images (e.g., cars) to also recognize object attribu...
131
Voted
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...