2488 search results - page 395 / 498 » An improvement in formal verification |
116
click to vote
ICSOC
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
139
click to vote
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Planning techniques recorded a significant progress during recent years. However, many planning problems remain still hard even for modern planners. One of the most promising appro...
168
click to vote
IGARSS
2010
14 years 10 months ago
2010
Current uncertainties in the total solar irradiance (TSI) and aerosol radiative forcings of climate are so large that they limit quantitative evaluation of climate models against ...
105
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
126
click to vote
DAM
2011
14 years 8 months ago
2011
In this paper we tackle the problem of matching two colored point sets in R3 under the bottleneck distance. First we present an exact matching algorithm that requires the computat...