2585 search results - page 441 / 517 » Automating Coherent Logic |
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 ...
104
Voted
AGIS
2000
15 years 20 days ago
2000
Following a brief discussion on various aspects of data quality, possible methods are examined for the detection of errors in a spatial database. Using examples, we introduce the c...
RTS
2008
15 years 9 days ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
87
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
106
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Clock skew minimization is always very important in the clock tree synthesis. Due to clock gating, the clock tree may include different types of logic gates, e.g., AND gates, OR g...