1755 search results - page 258 / 351 » An efficient simulation algorithm based on abstract interpre... |
115
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
128
click to vote
VMV
2004
15 years 5 months ago
2004
Penalty approaches can be used to efficiently resolve collisions of dynamically simulated rigid and deformable objects. These methods compute penalty forces based on the penetrati...
168
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
In a multiuser system, independent time-varying channels among different users can be exploited to provide multiuser diversity (MUD) gain and increase the system throughput. For th...
157
Voted
TVCG
2008
15 years 2 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...
129
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...