10568 search results - page 677 / 2114 » Computer Intelligence and Formalization |
159
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
230
click to vote
FLAIRS
2007
15 years 9 months ago
2007
1 This paper describes two major student projects for the artificial intelligence course – Mapping using Bayesian filter and Monte Carlo Localization. These projects are also sui...
169
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
The distributed data storage on unreliable devices, connected by a short-range radio network is analyzed. Failing devices incur loss of data. To prevent the loss, the data is spli...
190
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
180
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...