Sciweavers

4895 search results - page 430 / 979
» Functional Quantum Programming
Sort
View
AGP
1994
IEEE
15 years 10 months ago
A Compositional Semantics for Conditional Term Rewriting Systems
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
María Alpuente, Moreno Falaschi, Marí...
CVPR
2010
IEEE
15 years 9 months ago
Co-clustering of Image Segments Using Convex Optimization Applied to EM Neuronal Reconstruction
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
Shiv Vitaladevuni, Ronen Basri
FLAIRS
2010
15 years 9 months ago
A Game Playing System for Use in Computer Science Education
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
James MacGlashan, Don Miner, Marie desJardins
PDCN
2004
15 years 8 months ago
CS_LITE: A lightweight computational steering system
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
Silvia M. Figueira, Sonia Bui
SERP
2004
15 years 8 months ago
Run-Time Cohesion Metrics: An Empirical Investigation
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...
Áine Mitchell, James F. Power