2131 search results - page 317 / 427 » Optimal Difference Operator Selection |
114
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
131
click to vote
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
128
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
127
Voted
HICSS
1996
IEEE
15 years 7 months ago
1996
IEEE
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these m...
157
Voted
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
We address multiple-view reconstruction under an optimization approach based on belief propagation. A novel formulation of belief propagation that operates in 3-D is proposed to f...