1264 search results - page 81 / 253 » The IT Performance Evaluation in the Construction Industry |
169
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
132
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. When parallelizing hierarchical view frustum culling and collision detection, the low computation cost per node and the fact that the traversal path through the tree stru...
195
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Traditional industries anticipate supporting cross-organizational cooperation as applied in the semantic Web and Web services environments. However, the international sta...
173
click to vote
DICTA
2003
15 years 7 months ago
2003
The Circle Hough Transform (CHT) has become a common method for circle detection in numerous image processing applications. Because of its drawbacks, various modifications to the b...
170
click to vote
DSS
2007
15 years 6 months ago
2007
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...