143 search results - page 8 / 29 » cascon 2007 |
95
Voted
CASCON
2001
14 years 10 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
CASCON
2001
14 years 10 months ago
2001
The main problems in text classification are lack of labeled data, as well as the cost of labeling the unlabeled data. We address these problems by exploring co-training - an algo...
CASCON
1998
14 years 10 months ago
1998
The Jazz file format is intended to be a replacement for the JAR file format when used for storage and distribution of Java programs. A Jazz file is compressed to a degree that fa...
CASCON
1997
14 years 10 months ago
1997
The role of brokers in client-server systems is to accommodate flexible, open, heterogeneous system design and to facilitate fault tolerance and improved performance through load...
CASCON
1997
14 years 10 months ago
1997
The purpose of the Distributed Management Framework (DMF) is to provide a layer of ion at a level convenient for management application developers. Specifically, it liberates the ...