1981 search results - page 188 / 397 » Model-Checking Hierarchical Structures |
137
click to vote
TSE
2010
15 years 1 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
138
click to vote
ACL
2009
15 years 1 months ago
2009
This paper introduces a new algorithm to parse discourse within the framework of Rhetorical Structure Theory (RST). Our method is based on recent advances in the field of statisti...
143
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
106
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Individuals in social networks are often organized under some hierarchy such as a command structure. In many cases, when this structure is unknown, there is a need to discover h...
123
click to vote
CORR
1998
Springer
15 years 2 months ago
1998
Springer
This paper describes a partial parser that assigns syntactic structures to sequences of partof-speech tags. The program uses the maximum entropy parameter estimation method, which...