4978 search results - page 245 / 996 » Logical models of argument |
147
click to vote
MTDT
2002
IEEE
15 years 10 months ago
2002
IEEE
The amount of memory being embedded on chip is growing rapidly. This strongly implies that memory Built-in-self-test (BIST) logic assumes utmost importance amongst all on chip sel...
142
Voted
AIMSA
2008
Springer
16 years 5 days ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
151
click to vote
MSE
2002
IEEE
15 years 10 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
127
click to vote
CLIMA
2007
15 years 7 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
152
click to vote
AC
2005
Springer
15 years 5 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...