1730 search results - page 181 / 346 » Algebra and Computation |
149
click to vote
SI3D
1992
ACM
15 years 8 months ago
1992
ACM
In a virtual world viewed with a head-mounted display, the user may wish to perform certain actions under the control of a manual input device. The most important of these actions...
133
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
164
click to vote
FUIN
2010
15 years 1 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
115
click to vote
SIAMSC
2008
15 years 3 months ago
2008
The Radon transform is a fundamental tool in many areas. For example, in reconstruction of an image from its projections (CT scanning). Although it is situated in the core of many...
152
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...