10916 search results - page 1900 / 2184 » On Constructive Connectives and Systems |
156
click to vote
LCTRTS
2004
Springer
16 years 1 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
168
click to vote
MCS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. One of the potential advantages of multiple classifier systems is an increased robustness to noise and other imperfections in data. Previous experiments on classificati...
200
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
172
click to vote
MMB
2004
Springer
16 years 1 days ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
184
Voted
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...