882 search results - page 152 / 177 » Allowing State Changes in Specifications |
168
click to vote
RTS
2008
15 years 5 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
189
click to vote
NAR
2011
2011
NGSmethDB: a database for next-generation sequencing single-cytosine-resolution DNA methylation data
14 years 8 months ago
Next-generation sequencing (NGS) together with bisulphite conversion allows the generation of whole genome methylation maps at single-cytosine resolution. This allows studying the...
249
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
233
Voted
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
163
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
In today’s data-rich networked world, people express many aspects of their lives online. It is common to segregate different aspects in different places: you might write opinion...