1968 search results - page 88 / 394 » The Complexity of Valued Constraint Models |
111
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
109
click to vote
FTCS
1998
15 years 2 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
104
click to vote
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
125
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
131
click to vote
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
The application of Reinforcement Learning (RL) algorithms to learn tasks for robots is often limited by the large dimension of the state space, which may make prohibitive its appli...