10910 search results - page 151 / 2182 » Input modeling using a computer algebra system |
MKM
2005
Springer
15 years 3 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 ...
AISC
2008
Springer
15 years 1 days 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...
ATAL
2005
Springer
15 years 3 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...
ICSEA
2007
IEEE
15 years 4 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...
ACMACE
2007
ACM
15 years 2 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...