4872 search results - page 735 / 975 » CBR for Modeling Complex Systems |
161
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
185
click to vote
FPT
2005
IEEE
16 years 4 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
167
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper explores search behavior of online shoppers. Information economics literature suggests that search cost in electronic markets has essentially been reduced to zero as co...
155
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
193
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...