1559 search results - page 108 / 312 » Some Group Theory Problems |
112
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
218
click to vote
DCG
2011
14 years 8 months ago
2011
We describe a variant of a method used by modern graphic artists to design what are traditionally called Celtic knots, which are part of a larger family of designs called “mirro...
138
Voted
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...
131
click to vote
GW
2003
Springer
15 years 9 months ago
2003
Springer
Many disciplines of multimedia and communication go towards ubiquitous computing and hands free- or no-touch interaction with computers. Application domains in this direction invol...
112
click to vote
AAAI
2006
15 years 5 months ago
2006
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...