7167 search results - page 197 / 1434 » A Technique for Invariant Generation |
203
click to vote
AIEDU
2010
15 years 4 months ago
2010
An emerging trend in classrooms is the use of networked visual argumentation tools that allow students to discuss, debate, and argue with one another in a synchronous fashion about...
178
click to vote
SSIAI
2002
IEEE
16 years 2 days ago
2002
IEEE
This report addresses the issues involved in developing a robust segmentation technique capable of finding the location and orientation of the cervical vertebrae in x-ray images. ...
162
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...
197
click to vote
BMVC
1998
15 years 8 months ago
1998
In this paper, we discuss a method for representing and matching planar curves. The technique is based on using calculations from concentric circles to represent each curve by two...
180
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Decomposition of cells in clumps is a difficult segmentation task requiring region splitting techniques. Techniques that do not employ prior shape constraints usually fail to achi...