3239 search results - page 506 / 648 » A Logical Process Calculus |
120
click to vote
AMAI
2006
Springer
15 years 27 days ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
118
click to vote
FUIN
2008
15 years 27 days ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
108
Voted
ENVSOFT
2006
15 years 25 days ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
97
Voted
CEE
2007
15 years 25 days ago
2007
We present a compact FPGA implementation of a modular exponentiation accelerator suited for cryptographic applications. The implementation efficiently exploits the properties of m...
IANDC
2006
15 years 25 days ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...