843 search results - page 53 / 169 » Introducing the Iteration in sPBC |
194
Voted
ACG
2009
Springer
16 years 21 days 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...
138
click to vote
CIE
2009
Springer
16 years 20 days 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,...
185
click to vote
PPDP
2009
Springer
16 years 19 days 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...
154
click to vote
SAICSIT
2009
ACM
16 years 18 days 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...
153
click to vote
CDC
2008
IEEE
16 years 17 days 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...