1456 search results - page 36 / 292 » Two Techniques to Improve Finite Model Search |
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
BIOCOMP
2006
13 years 9 months ago
2006
Stochastic context-free grammar (SCFG) based models for non-coding RNA (ncRNA) gene searches are much more powerful than regular grammar based models due to the ability to model in...
PROMISE
2010
13 years 2 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
IBERAMIA
1998
Springer
14 years 8 hour ago
1998
Springer
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...