2032 search results - page 237 / 407 » Encodings of the Sequence Constraint |
217
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
195
Voted
ASSETS
2006
ACM
16 years 17 days ago
2006
ACM
For Deaf people, access to the mobile telephone network in the United States is currently limited to text messaging, forcing communication in English as opposed to American Sign L...
187
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Alternative splicing is a major mechanism of generating protein diversity in higher eukaryotes. Although at least half, and probably more, of mammalian genes are alter...
269
click to vote
TSP
2011
15 years 1 months ago
2011
Abstract—We propose a sequential framework for the distributed multiple-sensor estimation and coding problem that decomposes the problem into a series of side-informed source cod...
175
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: It has been apparent in the last few years that small non coding RNAs (ncRNA) play a very significant role in biological regulation. Among these microRNAs (miRNAs), 22...