2261 search results - page 204 / 453 » Relationships Between Models of Concurrency |
ICLP
2001
Springer
14 years 22 days ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
ICMLA
2008
13 years 9 months ago
2008
When using machine learning for in silico modeling, the goal is normally to obtain highly accurate predictive models. Often, however, models should also bring insights into intere...
LREC
2008
13 years 9 months ago
2008
News articles about the same event published over time have properties that challenge NLP and IR applications. A cluster of such texts typically exhibits instances of paraphrase a...
ICVGIP
2004
13 years 9 months ago
2004
1 We present a functional data analysis (FDA) based method to statistically model continuous signs of the American Sign Language (ASL) for use in the recognition of signs in contin...
ESWA
2008
13 years 8 months ago
2008
Empirical studies of the variation in debt ratios across firms have used statistical models singularly to analyze the important determinants of capital structure. Researchers, how...