3457 search results - page 336 / 692 » A Symbol Is Not a Symbol |
151
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
165
Voted
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to a...
177
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Evolutionary computation methods have been used to solve several optimization and learning problems. This paper describes an application of evolutionary computation methods to con...
142
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
154
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper proposes a novel algorithm for complete exact patternmatching focusing the specificities of protein sequences (alphabet of 20 symbols) but, also highly efficie...