2412 search results - page 270 / 483 » Which Problems Have Strongly Exponential Complexity |
131
Voted
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
126
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
140
Voted
ISQED
2011
IEEE
14 years 7 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
123
Voted
JAIR
2006
15 years 3 months ago
2006
A -model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yi...
136
Voted
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...