5525 search results - page 414 / 1105 » Verification of Model Transformations |
211
click to vote
IJSI
2008
15 years 7 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
167
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We propose a probabalistic model of single source multimodal generation and show how algorithms for maximizing mutual information can find the correspondences between com...
167
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we propose to model the blended search problem by assuming conditional dependencies among queries, VSEs and search results. The probability distributions of this mo...
171
click to vote
ISCAS
2005
IEEE
16 years 16 days ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
217
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...