5550 search results - page 334 / 1110 » Different Approaches to Proof Systems |
192
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
227
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
169
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
238
click to vote
RSP
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
159
click to vote
WSC
1998
15 years 8 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...