Sciweavers

1664 search results - page 12 / 333
» Towards Partial Reasoning
Sort
View
AAAIDEA
2005
IEEE
14 years 28 days ago
Towards Partially Synchronous Overlays: Issues and Challenges
Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer
VW
2009
Springer
130views Virtual Reality» more  VW 2009»
13 years 11 months ago
Towards a Definition of Virtual Objects Using Partial Differential Equations
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
Hassan Ugail, Gabriela González Castro, Ale...
RWEB
2005
Springer
14 years 23 days ago
Towards Types for Web Rule Languages
Wlodzimierz Drabent
CAV
2008
Springer
99views Hardware» more  CAV 2008»
13 years 9 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav