4257 search results - page 147 / 852 » The Logical Modularity of Programs |
269
click to vote
IROS
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
192
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
160
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
159
click to vote
JELIA
2000
Springer
15 years 9 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
164
click to vote
APAL
2005
15 years 6 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...