1114 search results - page 98 / 223 » An Architecture for Peer-to-peer Reasoning |
168
click to vote
AIPS
1996
15 years 7 months ago
1996
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
164
click to vote
AAAI
1990
15 years 7 months ago
1990
A central problem in text-understanding research is the indeterminacy of natural language. Two related issues that arise in confronting this problem are the need to make complex i...
151
click to vote
TCAD
2008
15 years 6 months ago
2008
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
194
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
212
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...