5550 search results - page 804 / 1110 » Different Approaches to Proof Systems |
183
click to vote
ICDCSW
2005
IEEE
16 years 14 days ago
2005
IEEE
Alerting for Digital Libraries (DL) is an important and useful feature for the library users. To date, two independent services and a few publisher-hosted proprietary services hav...
186
click to vote
SIGCSE
2005
ACM
16 years 12 days ago
2005
ACM
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
181
click to vote
EWCBR
2004
Springer
16 years 7 days ago
2004
Springer
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...
226
click to vote
ECRTS
2003
IEEE
16 years 4 days ago
2003
IEEE
In uniform multiprocessor platforms, the various processors comprising the multiprocessor platform may have different computing capacities. The focus of this paper is the design o...
207
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...