79 search results - page 12 / 16 » Splitting Logics |
WWW
2003
ACM
15 years 10 months ago
2003
ACM
Mobile devices have already been widely used to access the Web. However, because most available web pages are designed for desktop PC in mind, it is inconvenient to browse these l...
61
Voted
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
82
Voted
ATAL
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
100
click to vote
MAM
2007
14 years 9 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
66
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...