5550 search results - page 79 / 1110 » Different Approaches to Proof Systems |
166
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
To truly meet the requirements of multimedia database (MMDB) management, an integrated framework for modeling, managing and retrieving various kinds of media data in a uniform way...
151
click to vote
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
This paper investigates the suitability of linear genetic programming (LGP) technique to model efficient intrusion detection systems, while comparing its performance with artificia...
199
click to vote
JOT
2010
15 years 4 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
178
click to vote
ICALT
2008
IEEE
16 years 20 days ago
2008
IEEE
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
162
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Self-organization is built upon two main building blocks: adaptive and uncoupled interaction mechanisms and context-awareness. Here we show how the middleware TOTA (Tuples On The ...