504 search results - page 58 / 101 » Explaining Verification Conditions |
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
ISCAS
1999
IEEE
14 years 5 days ago
1999
IEEE
An error cancellation technique is described for suppressing capacitor mismatch in a successive approximation A/D converter. At the cost of a 50% increase in the conversion time, ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we present mental state abduction, a technique for inferring the mental states (beliefs, goals) of BDI-based agents from observations of their actions. Abduced mental...
EDUTAINMENT
2008
Springer
13 years 9 months ago
2008
Springer
Computer games accessibility have initially been regarded as an area of minor importance as there were much more "serious" topics to focus on. Today, the society is slowl...