962 search results - page 116 / 193 » Some Reducibilities on Regular Sets |
WKDD
2010
CPS
14 years 5 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
DAS
2008
Springer
13 years 12 months ago
2008
Springer
There are many problems to realize camera-based character recognition. One of the problems is that characters in scenes are often distorted by geometric transformations such as af...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
In the future, robotic surgical assistants may assist surgeons by performing specific subtasks such as retraction and suturing to reduce surgeon tedium and reduce the duration of s...
KDD
2009
ACM
14 years 4 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...