3239 search results - page 515 / 648 » A Logical Process Calculus |
105
Voted
MICS
2010
14 years 11 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
108
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
125
Voted
FSKD
2010
Springer
14 years 10 months ago
2010
Springer
Uncertainty is the intrinsic property of spatial data and one of important factors affecting the course of spatial data mining. There are diversiform forms for the essentiality an...
142
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Besides the problem of searching for effective methods for extracting knowledge from large databases (KDD) there are some additional problems with handling ecological data, namely ...
113
click to vote
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
Digital fingerprinting is an effective method to identify users who might try to redistribute multimedia content, such as images and video. These fingerprints are typically embedd...