6036 search results - page 22 / 1208 » Web search solved |
PTS
2010
14 years 11 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
112
click to vote
ESWA
2007
15 years 16 days ago
2007
The goal of assembly planning consists in generating feasible sequences to assemble a product and selecting an efficient assembly sequence from which related constraint factors su...
89
Voted
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
104
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we present the Infocious Web search engine [23]. Our goal in creating Infocious is to improve the way people find information on the Web by resolving ambiguities pre...
51
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
