1902 search results - page 312 / 381 » Differential Dynamic Logics |
TVCG
2008
13 years 7 months ago
2008
Mesh parameterization is a fundamental technique in computer graphics. The major goals during mesh parameterization are to minimize both the angle distortion and the area distortio...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
CONCURRENCY
2010
13 years 6 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
BMCBI
2011
13 years 4 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
TKDE
2011
13 years 3 months ago
2011
— In location-based, mobile continual query (CQ) systems, two key measures of quality of service (QoS) are: freshness and accuracy. To achieve freshness, the CQ server must perfo...