913 search results - page 120 / 183 » Toward Formalizing Structured Analysis |
CANDT
2009
13 years 11 months ago
2009
ICT support for transnational social movements and civil society organizations is an important field of research: not only due to the increased political importance of this sector...
AAAI
2010
13 years 9 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
LREC
2010
13 years 9 months ago
2010
Grammars play an important role in many Natural Language Processing (NLP) applications. The traditional approach to creating grammars manually, besides being labor-intensive, has ...
SODA
2000
ACM
13 years 9 months ago
2000
ACM
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
ENTCS
2002
13 years 7 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...