799 search results - page 30 / 160 » Synthesis for Probabilistic Environments |
136
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
137
click to vote
NIPS
2004
15 years 5 months ago
2004
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...
150
click to vote
ISLPED
1997
ACM
15 years 8 months ago
1997
ACM
With the increasing performance and density of VLSI circuits as well as the popularity of portable devices such as personal digital assistance, power consumption has emerged as an...
152
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—Wireless local area network (WLAN) systems are widely implemented today to provide hot spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an ac...
133
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
The subject of this demonstration is natural language interaction, focusing on adaptivity and profiling of the dialogue management and the generated output (text and speech). Thes...