174 search results - page 27 / 35 » Fast equation automaton computation |
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
115
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
102
click to vote
HAPTICS
2002
IEEE
15 years 4 months ago
2002
IEEE
Soft objects are often desired in applications such as virtual surgery training. Soft object simulations are computationally intensive because object deformation involves numerica...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent work shows that recovering pose and velocity from a single view of a moving rigid object is possible with a rolling shutter camera, based on feature point correspondences. ...
SC
1991
ACM
15 years 3 months ago
1991
ACM
Two problems from the recently published “NAS Parallel Benchmarks” have been implemented on three advanced parallel computer systems. These two benchmarks are the following: (...