2777 search results - page 229 / 556 » Example centric programming |
114
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
143
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
138
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
101
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
128
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...