359 search results - page 63 / 72 » Reachability for Continuous and Hybrid Systems |
IFIP
2000
Springer
14 years 1 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
ACL
1996
13 years 11 months ago
1996
Information retrieval is an important application area of natural-language processing where one encounters the genuine challenge of processing large quantities of unrestricted nat...
CGF
2010
13 years 10 months ago
2010
We present a new hybrid CPU/GPU collision detection technique for rigid and deformable objects based on spatial subdivision. Our approach efficiently exploits the massive computat...
JAR
2010
13 years 8 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
LMCS
2007
13 years 10 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...