5550 search results - page 398 / 1110 » Different Approaches to Proof Systems |
242
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The problem considered in the present article is optimal design of network topologies in multi-agent systems in order to make communication on the network as efficient as possible ...
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...
191
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
: ? Delivering Energy Proportionality with Non Energy-Proportional Systems-Optimizing the Ensemble Niraj Tolia, Zhikui Wang, Manish Marwah, Cullen Bash, Parthasarathy Ranganathan, ...
189
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
In the recent years, the massive use of in-car navigation systems has symbolized the emergence of location-based services for wayfinding. This market success creates the opportunit...
176
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We review the current status of ethnography in systems design. We focus particularly on new approaches to and understandings of ethnography that have emerged as the computer has m...