143 search results - page 8 / 29 » cascon 2007 |
104
click to vote
CASCON
2001
15 years 26 days 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
15 years 26 days 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
15 years 25 days 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
15 years 24 days 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...
113
click to vote
CASCON
1997
15 years 24 days 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 ...