Sciweavers

366 search results - page 35 / 74
» Syntactic Abstraction of B Models to Generate Tests
Sort
View
92
Voted
PAKDD
2005
ACM
128views Data Mining» more  PAKDD 2005»
15 years 3 months ago
A Framework for Incorporating Class Priors into Discriminative Classification
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
Rong Jin, Yi Liu
94
Voted
AEI
2006
108views more  AEI 2006»
14 years 10 months ago
Grammatical rules for specifying information for automated product data modeling
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
Ghang Lee, Charles M. Eastman, Rafael Sacks, Shamk...
113
Voted
ACL
2012
13 years 20 days ago
Crosslingual Induction of Semantic Roles
We argue that multilingual parallel data provides a valuable source of indirect supervision for induction of shallow semantic representations. Specifically, we consider unsupervi...
Ivan Titov, Alexandre Klementiev
81
Voted
FORTE
2008
14 years 11 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
90
Voted
BMCBI
2007
134views more  BMCBI 2007»
14 years 10 months ago
Benchmarking natural-language parsers for biological applications using dependency graphs
Background: Interest is growing in the application of syntactic parsers to natural language processing problems in biology, but assessing their performance is difficult because di...
Andrew B. Clegg, Adrian J. Shepherd