1578 search results - page 57 / 316 » Induction of Stable Models |
AUTOMATICA
2005
13 years 7 months ago
2005
This note furthers existing results on the model reduction of stable periodic systems. It utilizes for that matter a lifting technique to potentially attain less conservative erro...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
JAR
2006
13 years 7 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
EMNLP
2010
13 years 5 months ago
2010
Inducing a grammar directly from text is one of the oldest and most challenging tasks in Computational Linguistics. Significant progress has been made for inducing dependency gram...
EMNLP
2008
13 years 9 months ago
2008
Most attempts to integrate FrameNet in NLP systems have so far failed because of its limited coverage. In this paper, we investigate the applicability of distributional and WordNe...