4346 search results - page 478 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
155
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
154
click to vote
HIPEAC
2007
Springer
15 years 9 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
129
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
120
click to vote
WECWIS
2007
IEEE
15 years 11 months ago
2007
IEEE
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...
135
click to vote
JFR
2006
15 years 5 months ago
2006
The Defense Applied Research Projects Agency (DARPA) Learning Applied to Ground Vehicles (LAGR) program aims to develop algorithms for autonomous vehicle navigation that learn how...