11561 search results - page 86 / 2313 » A Language for Biochemical Systems |
171
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
149
click to vote
NAACL
2007
15 years 7 months ago
2007
The POSSLT 1 is a Korean to English spoken language translation (SLT) system. Like most other SLT systems, automatic speech recognition (ASR), machine translation (MT), and text-t...
143
click to vote
ENTCS
2008
15 years 5 months ago
2008
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
135
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
167
click to vote
SCP
1998
15 years 5 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...