6020 search results - page 634 / 1204 » A New Approach to Model Counting |
212
Voted
ECWEB
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
232
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
Scheduling of transmissions is one of the most fundamental problems in the context of wireless networks. In this article, we consider the problem of computing power efficient sched...
194
Voted
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
Wyner-Ziv video coding (WZVC) is a new paradigm for video compression with the prediction frames possibly only available at the decoder. It exploits the statistics between the sou...
198
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In supervector UBM/GMM paradigm, each acoustic file is represented by the mean parameters of a GMM model. This supervector space is used as a data representation space, which has...
240
Voted
AI
2011
Springer
14 years 11 months ago
2011
Springer
In this work, we explore how local interactions can simplify the process of decision-making in multiagent systems, particularly in multirobot problems. We review a recent decision-...