Sciweavers

Share
7 search results - page 1 / 2
» Generating Counterexamples for Structural Inductions by Expl...
Sort
View
LPAR
2010
Springer
11 years 6 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen
ACL
2004
11 years 9 months ago
Corpus-Based Induction of Syntactic Structure: Models of Dependency and Constituency
We present a generative model for the unsupervised learning of dependency structures. We also describe the multiplicative combination of this dependency model with a model of line...
Dan Klein, Christopher D. Manning
BIRTHDAY
2003
Springer
12 years 1 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
JMLR
2010
157views more  JMLR 2010»
11 years 6 months ago
Kronecker Graphs: An Approach to Modeling Networks
How can we generate realistic networks? In addition, how can we do so with a mathematically tractable model that allows for rigorous analysis of network properties? Real networks ...
Jure Leskovec, Deepayan Chakrabarti, Jon M. Kleinb...
UM
2007
Springer
12 years 2 months ago
Inducing User Affect Recognition Models for Task-Oriented Environments
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
Sunyoung Lee, Scott W. McQuiggan, James C. Lester
books