7213 search results - page 1260 / 1443 » Automated model grouping |
143
click to vote
ECSQARU
2009
Springer
16 years 14 days ago
2009
Springer
: A persuasion dialog is a dialog in which agents exchange arguments on a subject. In this kind of dialog, the agents disagree about the status of the subject and each one tries to...
141
click to vote
FMCAD
2009
Springer
16 years 13 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
166
click to vote
LPNMR
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
157
click to vote
ICAIL
2009
ACM
16 years 12 days ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
163
click to vote
DATE
2008
IEEE
16 years 10 days ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...