3747 search results - page 367 / 750 » Active Operations on Collections |
187
click to vote
TPHOL
2002
IEEE
16 years 17 days ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
188
click to vote
CIKM
2001
Springer
16 years 5 days ago
2001
Springer
Text-Mining is a growing area of interest within the field of Data Mining and Knowledge Discovery. Given a collection of text documents, most approaches to Text Mining perform kno...
161
Voted
ICRA
2000
IEEE
16 years 2 days ago
2000
IEEE
A mapmaking robot integrates accumulated sensor data into a data structure that can be used for future localization or planning operations. Localization is the process of determin...
162
Voted
ITC
2000
IEEE
16 years 1 days ago
2000
IEEE
This paper studies some manufacturing test data collected for an experimental digital IC. Test results for a large variety of single-stuck fault based test sets are shown and comp...
163
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...