Sciweavers

5377 search results - page 381 / 1076
» Programming Languages For Interactive Computing
Sort
View
CHI
2003
ACM
16 years 7 months ago
Harnessing curiosity to increase correctness in end-user programming
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...
Aaron Wilson, Margaret M. Burnett, Laura Beckwith,...
SWAP
2008
15 years 8 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
MKM
2009
Springer
16 years 1 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger
EMSOFT
2004
Springer
15 years 10 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
ACIVS
2009
Springer
15 years 11 months ago
Engineering of Computer Vision Algorithms Using Evolutionary Algorithms
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
Marc Ebner