Sciweavers

4299 search results - page 489 / 860
» Concurrent Test Generation
Sort
View
FORTE
2004
15 years 6 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
135
Voted
ACL
2003
15 years 6 months ago
Spoken Interactive ODQA System: SPIQA
We have been investigating an interactive approach for Open-domain QA (ODQA) and have constructed a spoken interactive ODQA system, SPIQA. The system derives disambiguating querie...
Chiori Hori, Takaaki Hori, Hajime Tsukada, Hideki ...
EACL
2003
ACL Anthology
15 years 6 months ago
Neural Network Probability Estimation for Broad Coverage Parsing
We present a neural-network-based statistical parser, trained and tested on the Penn Treebank. The neural network is used to estimate the parameters of a generative model of left-...
James Henderson
NIPS
2003
15 years 6 months ago
Semi-Supervised Learning with Trees
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
Charles Kemp, Thomas L. Griffiths, Sean Stromsten,...
WSC
1998
15 years 6 months ago
Evaluation of Electronic Cash Threat Scenarios Using Micro Dynamic Simulation
This paper discusses the evaluation of the electronic cash counterfeit threat scenarios using micro dynamic simulation. This modeling technique provides information needed for the...
Kazuo J. Ezawa, Gregory Napiorkowski, Mariusz Koss...