5244 search results - page 704 / 1049 » Structural Complexity of AvgBPP |
198
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
187
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
185
click to vote
LADS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
202
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
153
click to vote
ISVLSI
2006
IEEE
16 years 24 days ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...