Sciweavers

1239 search results - page 190 / 248
» Generating Web Applications from Use Case Scenarios
Sort
View
127
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
Automating Residence Hall Internet Signups
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...
John R. Miller, Tom Peterson
164
Voted
CAV
2007
Springer
212views Hardware» more  CAV 2007»
15 years 7 months ago
A Tutorial on Satisfiability Modulo Theories
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
Leonardo Mendonça de Moura, Bruno Dutertre,...
IDEAL
2000
Springer
15 years 7 months ago
Combining Ordinal Financial Predictions with Genetic Programming
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
Edward P. K. Tsang, Jin Li
258
Voted
ICDE
2008
IEEE
193views Database» more  ICDE 2008»
16 years 4 months ago
DescribeX: Interacting with AxPRE Summaries
DescribeX is a visual, interactive tool for exploring the underlying structure of an XML collection. DescribeX implements a framework for creating XML summaries described using axi...
Mir Sadek Ali, Mariano P. Consens, Shahan Khatchad...
133
Voted
ICML
2004
IEEE
16 years 4 months ago
Semi-supervised learning using randomized mincuts
In many application domains there is a large amount of unlabeled data but only a very limited amount of labeled training data. One general approach that has been explored for util...
Avrim Blum, John D. Lafferty, Mugizi Robert Rweban...