478 search results - page 71 / 96 » Monads of Regular Theories |
103
click to vote
CICLING
2003
Springer
15 years 4 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
91
Voted
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
93
Voted
JNS
2008
14 years 11 months ago
2008
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
161
Voted
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
85
Voted
SIGECOM
2010
ACM
15 years 3 months ago
2010
ACM
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...