270 search results - page 49 / 54 » Automated test generation for industrial Erlang applications |
127
click to vote
MICCAI
2006
Springer
16 years 23 days ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
104
click to vote
ICLP
2009
Springer
15 years 6 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
114
click to vote
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
111
click to vote
3DIM
2007
IEEE
15 years 6 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...