2502 search results - page 259 / 501 » Using probabilistic model checking in systems biology |
288
click to vote
SPEECH
2011
15 years 1 months ago
2011
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...
187
click to vote
EMNLP
2009
15 years 4 months ago
2009
Information Extraction (IE) systems that extract role fillers for events typically look at the local context surrounding a phrase when deciding whether to extract it. Often, howev...
190
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
176
click to vote
HPCA
2005
IEEE
16 years 7 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
153
click to vote
ATAL
2004
Springer
16 years 8 hour ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...