3228 search results - page 310 / 646 » Computationally Sound Proofs |
139
click to vote
SOFSEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
123
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...
132
Voted
WACV
2002
IEEE
15 years 9 months ago
2002
IEEE
Skin detection is an important process in many of computer vision algorithms. It usually is a process that starts at a pixel-level, and that involves a pre-process of colorspace t...
158
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
143
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...