2979 search results - page 591 / 596 » Computation and the Periodic Table |
TVCG
2010
13 years 8 months ago
2010
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
IEPOL
2010
13 years 7 months ago
2010
A growing empirical literature examines the relationship between music file sharing and legal purchases of music, but existing studies examine the period before consumers had attr...
CCR
2011
13 years 4 months ago
2011
ion can improve performance without significantly breaking layered abstractions; explicit bursts are preferable to steady, constant bitrate traffic. Furthermore, the vagaries and c...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...