6978 search results - page 1053 / 1396 » On Proofs in System P |
175
click to vote
ICAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
208
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
: Personalized Education (PE) emphasizes the importance of individual differences in learning. To deliver personalized e-learning services and content, PE encompasses the abilities...
180
click to vote
ISCAS
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
180
click to vote
ITCC
2005
IEEE
16 years 13 days ago
2005
IEEE
The main focus of this study is to compare different performances of soft computing paradigms for predicting the direction of individuals stocks. Three different artificial intell...
151
click to vote
SIGMOD
2005
ACM
16 years 12 days ago
2005
ACM
Database Tuning Advisor (DTA) is a physical database design tool that is part of Microsoft’s SQL Server 2005 relational database management system. Previously known as “Index ...