5377 search results - page 604 / 1076 » Programming Languages For Interactive Computing |
159
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We give a polynomial time algorithm that computes a decomposition of a finite group G given in the form of its multiplication table. That is, given G, the algorithm outputs two su...
168
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
165
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
170
click to vote
UM
2005
Springer
16 years 4 days ago
2005
Springer
We present a computational framework designed to provide adaptive support aimed at triggering learning from problem-solving activities in the presence of worked-out examples. The k...
196
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...