CORR
2010
Springer
13 years 9 months ago
2010
Springer
Serious games have recently emerged as an avenue for curriculum delivery. Serious games incorporate motivation and entertainment while providing pointed curriculum for the user. Th...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
An answer to a query has a well-defined lineage expression (alternatively called how-provenance) that explains how the answer was derived. Recent work has also shown how to comput...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Now a days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functio...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Recent work has demonstrated that using a carefully designed sensing matrix rather than a random one, can improve the performance of compressed sensing. In particular, a welldesign...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refa...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
A dominating set D of a graph G = (V, E) is a subset of vertices such that every vertex in V \ D has at least one neighbour in D. Moreover if D is an independent set, i.e. no verti...