2231 search results - page 189 / 447 » Alternation as a programming paradigm |
150
click to vote
JMLR
2012
13 years 7 months ago
2012
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
185
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
153
click to vote
Publication
A consensus building alternative to group decision-making that any group, organization, firm or assembly can use instead of Robert's Rules of order or parliamentary procedure....
127
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, the program control unit of an embedded RISC processor is enhanced with a novel zerooverhead loop controller (ZOLC) supporting arbitrary loop structures with multip...
114
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...