4209 search results - page 340 / 842 » Abstract Dialectical Frameworks |
165
click to vote
IVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper details a framework for explicit deliberative control of socially and physically situated agents in virtual, real and mixed reality environments. The objective...
153
click to vote
LOCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
162
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
196
click to vote
PADL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
161
click to vote
PREMI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...