7040 search results - page 398 / 1408 » The Single Model Principle |
193
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
147
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
198
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
179
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
154
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper describes a novel compound Markov random field model capable of realistic modelling of multispectral bidirectional texture function, which is currently the most adva...