2061 search results - page 203 / 413 » Tiling with limited resources |
176
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
150
click to vote
ETS
2002
IEEE
15 years 7 months ago
2002
IEEE
At the University of the South Pacific, a regional university serving twelve Pacific island nations, pressures for using technology and the rapid rate of technological change are ...
217
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
218
click to vote
IVC
2002
15 years 7 months ago
2002
In this paper we address the problem of producing an enlarged picture from a given digital image (zooming). We propose a method that tries to take into account information about d...
178
click to vote
JIFS
2002
15 years 7 months ago
2002
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...