20197 search results - page 3549 / 4040 » Comparing Computational Power |
130
click to vote
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
135
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
131
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present a new polynomial-space algorithm for solving Distributed Constraint Optimization problems (DCOP). The algorithm, called NCBB, is branch and bound search with modificati...
131
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Preferences of a single agent are often partially ordered. For example, it may be hard to compare a novel with a biography. In such a situation, the agent may want the novel and t...