2302 search results - page 437 / 461 » Testing as Abstraction |
111
click to vote
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
117
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
132
click to vote
ANTSW
2004
Springer
15 years 3 months ago
2004
Springer
ed Abstract We present two heuristic mesh-partitioning methods, both of which build on the multiple ant-colony algorithm in order to improve the quality of the mesh partitions. The...
101
click to vote
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. Clusters have become the de facto platform to scale J2EE application servers. Each tier of the server uses group communication to maintain consistency between replicated ...