2060 search results - page 286 / 412 » Some Applications of Coding Theory in Computational Complexi... |
133
click to vote
LOGCOM
2008
15 years 4 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
240
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
154
click to vote
KAIS
2007
15 years 4 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
148
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
157
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...