2694 search results - page 90 / 539 » Frege's New Science |
152
click to vote
STACS
2001
Springer
15 years 10 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
160
click to vote
ITICSE
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
162
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
164
click to vote
SOFSEM
1999
Springer
15 years 10 months ago
1999
Springer
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
180
click to vote
DIS
1998
Springer
15 years 10 months ago
1998
Springer
We introduce a new bias for rule learning systems. The bias only allows a rule learner to create a rule that predicts class membership if each test of the rule in isolation is pred...