2261 search results - page 238 / 453 » The problem with scalability |
148
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
168
click to vote
IJCAI
1997
15 years 8 months ago
1997
A principal problem of auditory scene analysis is stream segregation: decomposing an input acoustic signal into signals of individual sound sources included in the input. While ex...
197
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Network measurement is essential for assessing performance issues, identifying and locating problems. Two common strategies are the passive approach that attaches specific device...
229
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Many data are modeled as tensors, or multi dimensional arrays. Examples include the predicates (subject, verb, object) in knowledge bases, hyperlinks and anchor texts in the Web g...
214
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper, we address a challenging image segmentation problem called multiple foreground cosegmentation (MFC), which concerns a realistic scenario in general Webuser photo se...