636 search results - page 84 / 128 » Adapting Logics |
CADE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
FPGA
2010
ACM
15 years 8 months ago
2010
ACM
Electronic systems increasingly suffer from component variation, thermal hotspots, uneven wearout, and other subtle physical phenomena. Systems based on FPGAs have unique opportun...
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
120
click to vote
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...