1011 search results - page 24 / 203 » The three dimensions of proofs |
122
click to vote
ICCSA
2003
Springer
15 years 5 months ago
2003
Springer
The finite difference discretization of the Poisson equation in three dimensions results in a large, sparse, and highly structured system of linear equations. This prototype prob...
ALGORITHMICA
2010
15 years 1 days ago
2010
Knuth [14] asked whether the stable matching problem can be generalised to three dimensions i. e., for families containing a man, a woman and a dog. Subsequently, several authors ...
IWC
2008
14 years 12 months ago
2008
We built an automated dialogue system whose style of interaction can be varied along the three dimensions of Humour, Relationship Maintenance and Personality Matching. We then ran...
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
Carotid atherosclerosis is the most common life-threatening neurological disease and therefore an accurate assessment of atheromatous plaques is clinically important. Several studi...
106
click to vote
CAL
2008
15 years 15 hour ago
2008
Abstract-- This letter presents a new oblivious routing algorithm for 3D mesh networks called Randomized PartiallyMinimal (RPM) routing that provably achieves optimal worstcase thr...