2041 search results - page 89 / 409 » Modelling Generic Judgements |
119
click to vote
ENTCS
2007
15 years 4 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
162
click to vote
CA
1998
IEEE
15 years 8 months ago
1998
IEEE
The new MPEG-4 standard, scheduled to become an International Standard in February 1999, will include support not only for natural video and audio, but also for synthetic graphics...
125
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
160
Voted
IJSI
2008
15 years 4 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...
122
click to vote
WWW
2009
ACM
15 years 11 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...