843 search results - page 53 / 169 » Introducing the Iteration in sPBC |
203
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
One of the main challenges with selective search extensions is designing effective move categories (features). This is a manual trial and error task, which requires both intuition...
154
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
195
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
165
click to vote
SAICSIT
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces a methodology to improve the accessibility of websites with the use of free so-called automatic tools. The methodology has three iterative phases, namely ass...
171
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...