3931 search results - page 273 / 787 » Separation logic and abstraction |
210
click to vote
KI
1998
Springer
15 years 11 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
205
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
186
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a flexible and effective examplebased approach for labeling title pages which can be used for automated extraction of bibliographic data. The labels of intere...
186
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
155
click to vote
JANCL
2008
15 years 6 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...