469 search results - page 35 / 94 » Evolutionary Approach to Test Generation for Functional BIST |
135
Voted
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Many multi-robot systems are heterogeneous cooperative systems, systems consisting of different species of robots cooperating with each other to achieve a common goal. T...
92
Voted
AUSAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We have developed a method for generating non photorealistic animations of a target image. The animations start as a random collection of triangular strokes on a canvas a...
104
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
116
click to vote
AGI
2011
14 years 4 months ago
2011
General Game Playing (GGP) contest provides a research framework suitable for developing and testing AGI approaches in game domain. In this paper, we propose a new modification of...
101
click to vote
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...