2302 search results - page 147 / 461 » Testing as Abstraction |
174
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
159
click to vote
CSDA
2007
15 years 6 months ago
2007
Abstract: Abrupt shifts in the level of a time series represent important information and should be preserved in statistical signal extraction. We investigate rules for detecting l...
142
click to vote
DSS
2007
15 years 6 months ago
2007
Abstract. In this paper, the optimization of the Berth Allocation Problem (BAP) is transformed into a multiple stage decision making procedure and a new stochastic beam search algo...
149
click to vote
ENGL
2007
15 years 6 months ago
2007
Abstract— In this paper, a new method of representing twodimensional shapes using fuzzy-symbolic features and a similarity measure defined over fuzzy-symbolic features useful for...
172
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We consider a large volume principle for transductive learning that prioritizes the transductive equivalence classes according to the volume they occupy in hypothesis spa...