Sciweavers

4424 search results - page 817 / 885
» Semantic virtual environments
Sort
View
IUI
2003
ACM
15 years 5 months ago
Dynamic web page authoring by example using ontology-based domain knowledge
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
José Antonio Macías Iglesias, Pablo ...
JCDL
2003
ACM
105views Education» more  JCDL 2003»
15 years 5 months ago
Convergence of Knowledge Management and E-Learning: The GetSmart Experience
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
Byron Marshall, Yiwen Zhang, Hsinchun Chen, Ann M....
AGENTLINK
2003
Springer
283views ECommerce» more  AGENTLINK 2003»
15 years 5 months ago
MIKS : An Agent Framework Supporting Information Access and Integration
Providing an integrated access to multiple heterogeneous sources is a challenging issue in global information systems for cooperation and interoperability. In the past, companies h...
Domenico Beneventano, Sonia Bergamaschi, Gionata G...
CIA
2003
Springer
15 years 5 months ago
Logic Programming for Evolving Agents
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
José Júlio Alferes, Antonio Brogi, J...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 5 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb