3333 search results - page 239 / 667 » Abstract Proof Search |
137
click to vote
IWANN
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. This paper proposes a novel algorithm for complete exact patternmatching focusing the specificities of protein sequences (alphabet of 20 symbols) but, also highly efficie...
107
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a system that improves on current documentcentric Web search engine technology; adopting an entity-centric perspective, we are able to integrate data from both...
131
Voted
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract- This paper presents a comparative study between genetic and probabilistic search approaches of evolutionary computation. They are both applied for optimizing the behavior...
156
Voted
DNIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. As the number of web pages increases dramatically, the problem of the information overload becomes more severe when browsing and searching the WWW. To alleviate this prob...
136
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...