396 search results - page 52 / 80 » Combining decision procedures for the reals |
144
click to vote
BROADNETS
2007
IEEE
15 years 5 months ago
2007
IEEE
Multimedia applications have unique characteristics that can be leveraged to design energy-efficient loss recovery mechanisms. Given their loss tolerance and strict timing requirem...
116
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
129
click to vote
IS4TH
2003
Springer
15 years 6 months ago
2003
Springer
Realistic haptic interaction in volume sculpting is a decisive prerequisite for successful simulation of bone surgery. We present a haptic rendering algorithm, based on a multi-poi...
102
click to vote
GIS
1998
ACM
15 years 5 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
118
Voted
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...