4209 search results - page 583 / 842 » Abstract Dialectical Frameworks |
142
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
139
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
108
click to vote
MLG
2007
Springer
15 years 10 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
150
Voted
CPM
2001
Springer
15 years 9 months ago
2001
Springer
Lempel Ziv Coding (Extended Abstract). . . . . . . . . . . . . . . . . . . . . . . 18 Shmuel Tomi Klein, Yair Wiseman Approximate Matching of Run-Length Compressed Strings . . . . ...
140
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The upper-level ontologies are theories that capture the most common concepts, which are relevant for many of the tasks involving knowledge extraction, representation, an...