Search Sciweavers | Sciweavers

26

PTS
2010

147views Hardware» more PTS 2010»

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

13 years 8 months ago

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...

Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...

claim paper

Read More »

32

click to vote

ESWA
2007

100views more ESWA 2007»

Using memetic algorithms with guided local search to solve assembly sequence planning

13 years 9 months ago

Download ir.lib.ncut.edu.tw

The goal of assembly planning consists in generating feasible sequences to assemble a product and selecting an eﬃcient assembly sequence from which related constraint factors su...

Hwai-En Tseng, Wen-Pai Wang, Hsun-Yi Shih

claim paper

Read More »

29

click to vote

MICAI
2000
Springer

102views Artificial Intelligence» more MICAI 2000»

Searching for a Solution to Program Verification=Equation Solving in CCS

14 years 1 months ago

Download homepage.cem.itesm.mx

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...

Raul Monroy, Alan Bundy, Ian Green

claim paper

Read More »

34

click to vote

WWW
2005
ACM

200views Internet Technology» more WWW 2005»

The infocious web search engine: improving web searching through linguistic analysis

14 years 10 months ago

Download oak.cs.ucla.edu

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...

Alexandros Ntoulas, Gerald Chao, Junghoo Cho

claim paper

Read More »

15

click to vote

ISCAS
2007
IEEE

88views Hardware» more ISCAS 2007»

Effective Search with Hopping Chaos for Hopfield Neural Networks Solving QAP

14 years 4 months ago