4328 search results - page 159 / 866 » A New Kind of Science |
153
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We present a new kind of marking menu that was developed for use with a pen device on display surfaces such as large, high resolution, wall-mounted displays. It integrates capabil...
193
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
184
click to vote
ICCI
1993
15 years 10 months ago
1993
The notion of interval sets is introduced as a new kind of sets, represented by a pair of sets, namely, the lower and upper bounds. The interval-set algebra may be regarded as a c...
160
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
191
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...