4940 search results - page 77 / 988 » On the Complexity of Universal Programs |
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
140
click to vote
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
144
click to vote
COMGEO
2008
ACM
15 years 6 months ago
2008
ACM
The flow complex is a geometric structure, similar to the Delaunay tessellation, to organize a set of (weighted) points in Rk. Flow shapes are topological spaces corresponding to ...
152
click to vote
ICALT
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
210
click to vote
IEEEICCI
2009
IEEE
16 years 24 days ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...