3690 search results - page 339 / 738 » Computation with classical sequents |
194
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Due to the high-dimensionality of motion captured data which resulted in the complexity in motion analysis, a method of motion data processing based on manifold learning was propos...
161
click to vote
EPIA
2007
Springer
16 years 29 days ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
161
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...
164
click to vote
FCT
2007
Springer
16 years 29 days ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
193
click to vote
FCT
2007
Springer
16 years 29 days ago
2007
Springer
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...