4498 search results - page 708 / 900 » How to Invent Functions |
155
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
152
click to vote
PAMI
2006
15 years 4 months ago
2006
In recent years, researchers have proposed to introduce statistical shape knowledge into level set based segmentation methods in order to cope with insufficient low-level informati...
139
click to vote
IJAR
2007
15 years 4 months ago
2007
The use of several types of structural restrictions within algorithms for learning Bayesian networks is considered. These restrictions may codify expert knowledge in a given domai...
148
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
140
Voted
AAECC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...