12272 search results - page 2095 / 2455 » Experimental program analysis |
174
click to vote
CAGD
2005
15 years 6 months ago
2005
This paper addresses the point-wise estimation of differential properties of a smooth manifold S--a curve in the plane or a surface in 3D--assuming a point cloud sampled over S is...
170
click to vote
JDWM
2007
15 years 6 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...
158
click to vote
CCE
2005
15 years 6 months ago
2005
Microarray experiments are emerging as one of the main driving forces in modern biology. By allowing the simultaneous monitoring of the expression of the entire genome for a given...
186
click to vote
TOPNOC
2008
15 years 6 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
174
click to vote
TROB
2008
15 years 6 months ago
2008
Snakes utilize irregularities in the terrain, such as rocks and vegetation, for faster and more efficient locomotion. This motivates the development of snake robots that actively u...