2364 search results - page 175 / 473 » An Engine for Computing Well-Founded Models |
146
click to vote
LOGCOM
2008
15 years 4 months ago
2008
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
174
click to vote
TASLP
2011
14 years 11 months ago
2011
—In this paper, we investigate the source–filter-based approach for single-channel speech separation. We incorporate source-driven aspects by multi-pitch estimation in the mod...
159
click to vote
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
We investigate the performance of longest-queue-first (LQF) scheduling (i.e., greedy maximal scheduling) for wireless networks under the SINR interference model. This interference...
141
Voted
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
109
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...