6306 search results - page 141 / 1262 » Space, Time, and the Use of Language |
141
click to vote
FMSD
2006
15 years 7 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
196
Voted
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
187
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
199
click to vote
WALCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
We present two space-efficient algorithms. First, we show how to report a simple path between two arbitrary nodes in a given tree. Using a technique called “computing instead of ...
157
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
DNA-protein alignment algorithms can be used to discover coding sequences in a genomic sequence, if the corresponding protein derivatives are known. They can also be used to ident...