3994 search results - page 304 / 799 » A Linear Logical Framework |
179
click to vote
JWSR
2007
15 years 6 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
193
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
182
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
244
click to vote
CVPR
2009
IEEE
2009
IEEE
A Nonparametric Riemannian Framework for Processing High Angular Resolution Diffusion Images (HARDI)
17 years 2 months ago
High angular resolution diffusion imaging has become an
important magnetic resonance technique for in vivo imaging.
Most current research in this field focuses on developing
met...
166
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
An interactive framework for soft segmentation and matting of natural images and videos is presented in this paper. The proposed technique is based on the optimal, linear time, co...