11234 search results - page 543 / 2247 » A Microsurgery Simulation System |
152
click to vote
JSAC
2008
15 years 6 months ago
2008
This paper is concerned with the low-cost iterative equalization/detection principles for coded linear systems with cyclic prefixes. Turbo frequency-domain-equalization (FDE) is ap...
198
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
159
click to vote
FUIN
2002
15 years 6 months ago
2002
We present a direct universal P system based on splicing. Our approach differs from those shown in previous papers as the P system we construct takes as input an encoding of anothe...
194
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
142
click to vote
CISIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper, we integrate the traditional finitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...