2632 search results - page 90 / 527 » Alternating Timed Automata |
122
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
118
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
Alternative splicing is a mechanism for generating different gene transcripts (called isoforms) from the same genomic sequence. Finding alternative splicing events experimentally ...
124
click to vote
VRST
2003
ACM
15 years 6 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
113
click to vote
COORDINATION
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
LATA
2010
Springer
15 years 11 months ago
2010
Springer
We study pregroup grammars with letter promotions p(m) q(n) . We show that the Letter Promotion Problem for pregroups is solvable in polynomial time, if the size of p(n)