1581 search results - page 157 / 317 » Mechanizing Inductive Reasoning |
166
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
174
click to vote
AAAI
2007
15 years 8 months ago
2007
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
173
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
160
click to vote
IJCAI
2001
15 years 7 months ago
2001
Market mechanisms play a central role in AI as a coordination tool in multiagent systems and as an application area for algorithm design. Mechanisms where buyers are directly clea...
113
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents a program for structural synthesis -conception and design work-of the multiple fixture devices in the machine-tool structure. This program was created accord...