5064 search results - page 415 / 1013 » Recent Developments in Gridsolve |
219
click to vote
AWIC
2004
Springer
16 years 5 days ago
2004
Springer
As in any other organization, hospital personnel absorb information from their environment, turn it into knowledge, and then make decisions based on it. Hospital Information System...
156
click to vote
CCS
2004
ACM
16 years 5 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
149
click to vote
CHES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The recent development of side channel attacks has lead implementers to use increasingly sophisticated countermeasures in critical operations such as modular exponentiati...
165
click to vote
CPAIOR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
209
click to vote
DAWAK
2004
Springer
16 years 4 days ago
2004
Springer
Clustering is an important data mining problem. However, most earlier work on clustering focused on numeric attributes which have a natural ordering to their attribute values. Rec...