1242 search results - page 135 / 249 » The Theory of Grammar Constraints |
124
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
108
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
132
click to vote
MP
2011
14 years 7 months ago
2011
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in machine learning, control theory, and discrete geometry. This c...
128
Voted
WWW
2011
ACM
14 years 7 months ago
2011
ACM
The psycholinguistic theory of communication accommodation accounts for the general observation that participants in conversations tend to converge to one another’s communicativ...
92
Voted
BMCBI
2008
15 years 28 days ago
2008
Background: Combinatorial regulation of transcription factors (TFs) is important in determining the complex gene expression patterns particularly in higher organisms. Deciphering ...