1716 search results - page 115 / 344 » Generating models for temporal representations |
156
click to vote
KBSE
2005
IEEE
15 years 9 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...
142
Voted
CCR
2005
15 years 3 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...
113
click to vote
INTERSPEECH
2010
14 years 10 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...
174
Voted
IEAAIE
2011
Springer
2011
Springer
A Cognitive Agent Model Using Inverse Mirroring for False Attribution of Own Actions to Other Agents
14 years 7 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 ...
114
click to vote
DAC
1996
ACM
15 years 8 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 ...