9626 search results - page 1765 / 1926 » Invariant Based Programming |
141
click to vote
VLDB
2001
ACM
15 years 7 months ago
2001
ACM
With the advent of XML as a standard for data representation and exchange on the Internet, storing and querying XML data becomes more and more important. Several XML query languag...
132
click to vote
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
126
click to vote
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
142
Voted
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
115
click to vote
KDD
2000
ACM
15 years 6 months ago
2000
ACM
Predictive models in direct marketing seek to identify individuals most likely to respond to promotional solicitations or other intervention programs. While standard modeling appr...