17298 search results - page 154 / 3460 » Abstract computing machines |
111
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
114
click to vote
CSR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We will show how padding techniques can be applied on onedimensional cellular automata by proving a transfer theorem on complexity classes (how one inclusion of classes i...
109
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
160
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
111
click to vote
IMCSIT
2010
15 years 22 days ago
2010
Abstract--A Web-based system for human evaluation of machine translation is presented in this paper. The system is based on comprehension tests similar to the ones used in Polish m...