507 search results - page 16 / 102 » Normalization Theory for XML |
EMMCVPR
2009
Springer
14 years 9 days ago
2009
Springer
Global region-based active contours, like the Chan-Vese model, often make strong assumptions on the intensity distributions of the searched object and background, preventing their ...
SGP
2007
13 years 10 months ago
2007
We present two methods for lossy compression of normal vectors through quantization using "base" polyhedra. The first revisits subdivision-based quantization. The second...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
IJCAI
2003
13 years 9 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
AAAI
2010
13 years 7 months ago
2010
It is standard in multiagent settings to assume that agents will adopt Nash equilibrium strategies. However, studies in experimental economics demonstrate that Nash equilibrium is...