670 search results - page 81 / 134 » Modeling generalized implicatures using non-monotonic logics |
124
click to vote
ACL
2010
14 years 10 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
JFP
2006
14 years 11 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
133
click to vote
VLSID
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
105
click to vote
AMOST
2007
ACM
15 years 3 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...