3812 search results - page 422 / 763 » Combinations of TRAP Based Systems |
209
click to vote
FROCOS
2005
Springer
16 years 9 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
181
click to vote
ITRUST
2005
Springer
16 years 8 days ago
2005
Springer
Trust is an important tool in human life, as it enables people to cope with the uncertainty caused by the free will of others. Uncertainty and uncontrollability are also issues in ...
184
click to vote
ADS
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we describe how to generate affective dialogs for multiple virtual characters based on a combination of both automatically generated and pre-scripted scenes. This is ...
179
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
182
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...