8746 search results - page 315 / 1750 » Diversifying search results |
135
Voted
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
162
click to vote
IJAIT
2010
15 years 5 months ago
2010
Many real world industrial applications involve finding a Hamiltonian path with minimum cost. Some instances that belong to this category are transportation routing problem, scan c...
195
click to vote
PCM
2010
Springer
15 years 5 months ago
2010
Springer
A fast and robust 3D retrieval method is proposed based on a novel weighted structural histogram representation. Our method has the following steps: 1) adaptively segment any 3D sh...
182
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
The paper is devoted to finding a view on business processes that helps to introduce into business process support systems a notion of shared spaces widely used in social software....
269
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...