6608 search results - page 1214 / 1322 » On the Completeness of Model Checking |
151
click to vote
PAMI
2011
14 years 11 months ago
2011
— This paper examines large partial occlusions in an image, which occur near depth discontinuities when the foreground object is severely out of focus. We model these partial occ...
170
click to vote
TKDE
2011
14 years 11 months ago
2011
—This paper proposes a new strategy, the experience transfer, to facilitate the management of large-scale computing systems. It deals with the utilization of management experienc...
136
click to vote
JCIT
2010
14 years 10 months ago
2010
The aim of this paper is to investigate the multiple attribute decision making problems with intuitionistic fuzzy information, in which the information about attribute weights is ...
133
Voted
SIAMMAX
2010
14 years 10 months ago
2010
Many mathematical models involve flow equations characterized by nonconstant viscosity, and a Stokes type problem with variable viscosity coefficient arises. Appropriate block diag...
116
click to vote
TC
2010
14 years 10 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...