17185 search results - page 3147 / 3437 » Computational and Quantitative Studies |
202
Voted
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
197
click to vote
PAM
2004
Springer
16 years 24 days ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
215
click to vote
PRICAI
2004
Springer
16 years 24 days ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
208
click to vote
SPIN
2004
Springer
16 years 23 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
197
click to vote
CVPR
2010
IEEE
16 years 23 days ago
2010
IEEE
Palmprint verification is a relatively new but promising personal authentication technique for its high accuracy and fast matching speed. Two dimensional (2D) palmprint recognitio...