1716 search results - page 115 / 344 » Generating models for temporal representations |
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
166
click to vote
CCR
2005
15 years 6 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...
142
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Natural prosody is produced by an articulatory system to convey communicative meanings. It is therefore desirable for prosody modeling to represent both articulatory mechanisms an...
210
click to vote
IEAAIE
2011
Springer
2011
Springer
A Cognitive Agent Model Using Inverse Mirroring for False Attribution of Own Actions to Other Agents
14 years 9 months ago
This paper presents a cognitive agent model capable of showing situations where self-generated actions are attributed to other agents, as, for example, for patients suffering from ...
135
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...