12774 search results - page 2253 / 2555 » A Framework for Proof Systems |
170
click to vote
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional (or multivalued) dependencies in databases. ...
193
click to vote
JSSPP
2005
Springer
16 years 8 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
168
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant â...
170
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
176
click to vote
ROBOCUP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each age...