Sciweavers

3228 search results - page 310 / 646
» Computationally Sound Proofs
Sort
View
SOFSEM
2004
Springer
15 years 9 months ago
Processing XPath Expressions in Relational Databases
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...
Tadeusz Pankowski
ICCV
2003
IEEE
15 years 9 months ago
Natural Image Statistics for Natural Image Segmentation
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...
Matthias Heiler, Christoph Schnörr
132
Voted
WACV
2002
IEEE
15 years 9 months ago
Does Colorspace Transformation Make Any Difference on Skin Detection?
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...
Min C. Shin, Kyong I. Chang, Leonid V. Tsap
CSEE
2000
Springer
15 years 8 months ago
A Case Study Approach to Teaching Component Based Software Engineering
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 ...
Allen S. Parrish, Brandon Dixon, David P. Hale, Jo...
CONCUR
1999
Springer
15 years 8 months ago
Validating Firewalls in Mobile Ambients
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...
Flemming Nielson, Hanne Riis Nielson, René ...