1011 search results - page 87 / 203 » The three dimensions of proofs |
148
click to vote
SEKE
2001
Springer
15 years 10 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
155
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
— A number of active contour models have been proposed that unify the curve evolution framework with classical energy minimization techniques for segmentation, such as snakes. Th...
169
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
134
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
Nonuniform sampling of images is a useful technique in computer graphics, because a properly designed pattern of samples can make aliasing take the form of high-frequency random n...
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Experiencing and expressing emotions are integral parts of our life. In the retail area of commerce, emotion plays a fundamental role. When we choose or buy a commodity, our choic...