Sciweavers

287 search results - page 15 / 58
» Compositional Belief Update
Sort
View
ECAI
2010
Springer
14 years 10 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
DCOSS
2011
Springer
13 years 9 months ago
Type-safe updating for modular WSN software
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
Barry Porter, Utz Roedig, Geoff Coulson
83
Voted
NAR
2011
258views Computer Vision» more  NAR 2011»
14 years 15 days ago
The RNA modification database, RNAMDB: 2011 update
Since its inception in 1994, The RNA Modification Database (RNAMDB, http://rna-mdb.cas.albany. edu/RNAmods/) has served as a focal point for information pertaining to naturally oc...
William A. Cantara, Pamela F. Crain, Jef Rozenski,...
ICASSP
2008
IEEE
15 years 4 months ago
Bayesian update of dialogue state for robust dialogue systems
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
Blaise Thomson, Jost Schatzmann, Steve Young
ICASSP
2011
IEEE
14 years 1 months ago
Belief theoretic methods for soft and hard data fusion
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
Thanuka Wickramarathne, Kamal Premaratne, Manohar ...