Search Sciweavers | Sciweavers

1054 search results - page 22 / 211

» A Formalization of the Turing Test

129

click to vote

IPL
2006

117views more IPL 2006»

P systems without multiplicities of symbol-objects

15 years 4 months ago

Download combio.abo.fi

In this paper we investigate P systems whose compartments contain sets of symbolobjects rather than multisets of objects, as it is common in membrane computing. If the number of m...

Artiom Alhazov

claim paper

Read More »

109

click to vote

CAV
2007
Springer

123views Hardware» more CAV 2007»

Test Coverage for Continuous and Hybrid Systems

15 years 10 months ago

Download www-verimag.imag.fr

Tarik Nahhal, Thao Dang

claim paper

Read More »

click to vote

FM
2005
Springer

93views Formal Methods» more FM 2005»

Timed Testing with TorX

15 years 10 months ago

Download www.win.tue.nl

Henrik C. Bohnenkamp, Axel Belinfante

claim paper

Read More »

100

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

15 years 9 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

105

click to vote

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers