17185 search results - page 3147 / 3437 » Computational and Quantitative Studies |
189
click to vote
OOPSLA
2004
Springer
16 years 5 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...
180
click to vote
PAM
2004
Springer
16 years 5 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...
195
click to vote
PRICAI
2004
Springer
16 years 5 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...
195
click to vote
SPIN
2004
Springer
16 years 5 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...
185
click to vote
CVPR
2010
IEEE
16 years 5 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...