Sciweavers

12766 search results - page 338 / 2554
» collective
Sort
View
CIKM
2000
Springer
15 years 11 months ago
Scalable association-based text classification
Naïve Bayes (NB) classifier has long been considered a core methodology in text classification mainly due to its simplicity and computational efficiency. There is an increasing n...
Dimitris Meretakis, Dimitris Fragoudis, Hongjun Lu...
DL
2000
Springer
169views Digital Library» more  DL 2000»
15 years 11 months ago
Asynchronous information space analysis architecture using content and structure-based service brokering
Our project focuses on rapid formation and utilization of custom collections of information for groups focused on high-paced tasks. Assembling such collections, as well as organiz...
Ke-Thia Yao, In-Young Ko, Ragy Eleish, Robert Nech...
IPPS
1999
IEEE
15 years 11 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund
CHI
1997
ACM
15 years 11 months ago
SenseMaker: An Information-Exploration Interface Supporting the Contextual Evolution of a User's Interests
We describe the design, implementation, and pilot study for SenseMaker, an interface for information exploration across heterogeneous sources. We propose supporting the contextdri...
Michelle Q. Wang Baldonado, Terry Winograd
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Configurable AMBA On-Chip Real-Time Signal Tracer
Chung-Fu Kao, Chi-Hung Lin, Ing-Jer Huang