10910 search results - page 151 / 2182 » Input modeling using a computer algebra system |
131
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
130
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
125
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
135
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
141
Voted
ACMACE
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents an interactive bowling system using vison-based tracking for AR. With the bowling system, a user can enjoy the bowling game by rolling a real ball down a bowli...