Sciweavers

1678 search results - page 207 / 336
» An ASM Specification of C
Sort
View
SIMUTOOLS
2008
15 years 7 months ago
Bridging UMTS and multicast routing in ns-2
In this paper, we present the design and the implementation of a novel scheme for the multicast transmission of data over Universal Mobile Telecommunications System (UMTS) network...
Antonios G. Alexiou, Christos Bouras, Andreas Papa...
AVI
2004
15 years 7 months ago
Exploratory visualization using bracketing
There are many tools that provide the user with an abundance of sliders, buttons and options to change; such tools are popular in exploratory visualization. As the user changes th...
Jonathan C. Roberts
AIPS
2006
15 years 7 months ago
Metatheoretic Plan Summarization and Comparison
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
Karen L. Myers
CLA
2004
15 years 7 months ago
Using Concept Formal Analysis for Cooperative Information Retrieval
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
Ibtissem Nafkha, Samir Elloumi, Ali Jaoua
CLIMA
2004
15 years 7 months ago
Declarative Agent Control
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...