7167 search results - page 345 / 1434 » A Technique for Invariant Generation |
192
click to vote
COR
2008
15 years 7 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
205
click to vote
IJCAI
1993
15 years 9 months ago
1993
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
171
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
This paper proposes a novel technique to computing geometric information from images captured under parallel projections. Parallel images are desirable for stereo reconstruction b...
183
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
While several hierarchical classification methods have been applied to web content, such techniques invariably rely on a pre-defined taxonomy of documents. We propose a new techni...
169
click to vote
STORAGESS
2006
ACM
16 years 1 months ago
2006
ACM
We propose a framework for examining trust in the storage stack based on different levels of trustworthiness present across different channels of information flow. We focus on ...