8695 search results - page 216 / 1739 » Making the Complex Simple |
167
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...
182
click to vote
SP
2007
IEEE
16 years 26 days ago
2007
IEEE
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...
157
click to vote
COCO
2007
Springer
16 years 23 days ago
2007
Springer
We make progress in understanding the complexity of the graph reachability problem in the context of unambiguous logarithmic space computation; a restricted form of nondeterminism....
195
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
In the multi-view regression problem, we have a regression problem where the input variable (which is a real vector) can be partitioned into two different views, where it is assum...
178
click to vote
CSCLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...