3239 search results - page 235 / 648 » A Logical Process Calculus |
133
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...
138
Voted
ICIP
1995
IEEE
16 years 6 months ago
1995
IEEE
In this paper enhancement of a digital image is done by detecting the noisy and noiseless region of the image. The noisy regions are smoothed and the noiseless regions are sharpen...
202
click to vote
BIRTHDAY
2012
Springer
14 years 24 days ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
231
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
167
click to vote
PODS
2008
ACM
16 years 5 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...