5550 search results - page 285 / 1110 » Different Approaches to Proof Systems |
202
click to vote
ICAC
2005
IEEE
16 years 8 days ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
190
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We describe an algorithm for converting linear support vector machines and any other arbitrary hyperplane-based linear classifiers into a set of non-overlapping rules that, unlike...
162
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
186
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
193
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...