29046 search results - page 129 / 5810 » Computable Models |
101
click to vote
SPDP
1991
IEEE
15 years 6 months ago
1991
IEEE
A dynamic taskschedulingalgorithm,that isstable,decentralized,and adaptivetonetwork topology,ispresented. Theproposedalgorithmisanextensionofnearestneighbor loadbalancingstrategyw...
123
click to vote
CPHYSICS
2007
15 years 3 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...
134
Voted
IAT
2007
IEEE
15 years 9 months 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...
145
click to vote
FMCAD
2004
Springer
15 years 8 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...
115
click to vote
GIS
1999
ACM
15 years 7 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...