3047 search results - page 466 / 610 » On the Meaning of Logical Completeness |
109
click to vote
JWSR
2011
14 years 5 months ago
2011
: Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) l...
SIAMMAX
2010
14 years 4 months ago
2010
Many mathematical models involve flow equations characterized by nonconstant viscosity, and a Stokes type problem with variable viscosity coefficient arises. Appropriate block diag...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The statistical footprint left by JPEG compression can be a valuable source of information for the forensic analyst. Recently, it has been shown that a suitable anti-forensic meth...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In supervector UBM/GMM paradigm, each acoustic file is represented by the mean parameters of a GMM model. This supervector space is used as a data representation space, which has...
190
click to vote
DLOG
2011
14 years 1 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...