3047 search results - page 466 / 610 » On the Meaning of Logical Completeness |
227
click to vote
JWSR
2011
15 years 2 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...
190
click to vote
SIAMMAX
2010
15 years 1 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...
137
Voted
ICASSP
2011
IEEE
14 years 10 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...
192
click to vote
ICASSP
2011
IEEE
14 years 10 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...
392
click to vote
DLOG
2011
14 years 10 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 ...