29152 search results - page 159 / 5831 » A Model of Computation for MapReduce |
201
click to vote
AVBPA
2005
Springer
16 years 18 hour ago
2005
Springer
Abstract. In this paper, the use of biometric systems in forensic applications is reviewed. Main differences between the aim of commercial biometric systems and forensic reporting...
137
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
A dynamic taskschedulingalgorithm,that isstable,decentralized,and adaptivetonetwork topology,ispresented. Theproposedalgorithmisanextensionofnearestneighbor loadbalancingstrategyw...
172
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
The ATLAS Collaboration[1] has been preparing for Large Hadron Collider (LHC) running for more than 20 years. By summer of 2007 we expect the first colliding beams of protons and...
174
click to vote
IAT
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
194
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...