1127 search results - page 47 / 226 » Theory Extension in ACL2(r) |
73
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
103
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The authors employ multiple crossovers as a novel natural extension to crossovers as a mixing operator. They use this as a framework to explore the ideas of code growth. Empirical...
84
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
77
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
104
Voted
JECR
2002
15 years 12 days ago
2002
In this paper we report an extensive analysis of the different business models for auctions found on the Web. Three hundred websites randomly selected from the main search engines...