7167 search results - page 1318 / 1434 » A Technique for Invariant Generation |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Electrostatic analysis of complicated molecular surfaces arises in a number of nanotechnology applications including: biomolecule design, carbon nanotube simulation, and molecular...
EUROGRAPHICS
2010
Eurographics
15 years 6 months ago
2010
Eurographics
When simulating fluids, tetrahedral methods provide flexibility and ease of adaptivity that Cartesian grids find difficult to match. However, this approach has so far been lim...
126
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 5 months ago
2010
Eurographics
We present a novel representation and rendering method for free-viewpoint video of human characters based on multiple input video streams. The basic idea is to approximate the art...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
JavaScript is a browser scripting language that allows developers to create sophisticated client-side interfaces for web applications. However, JavaScript code is also used to car...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we propose a semi-supervised learning approach for classifying program (bot) generated web search traffic from that of genuine human users. The work is motivated by...