Sciweavers

4944 search results - page 623 / 989
» A Framework for Adaptive Visualization
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 8 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 6 months ago
libtissue - implementing innate immunity
In a previous paper the authors argued the case for incorporating ideas from innate immunity into artificial immune systems (AISs) and presented an outline for a conceptual framewo...
Jamie Twycross, Uwe Aickelin
IJLT
2007
67views more  IJLT 2007»
15 years 6 months ago
Differentiated e-learning: five approaches through instructional technology
: Differentiated instruction is an approach to teaching that acknowledges people have multiple paths for learning and for making sense of ideas. In e-learning, differentiated instr...
Kathleen Scalise
TIT
2002
148views more  TIT 2002»
15 years 6 months ago
The use of multiuser detectors for multicasting in wireless ad hoc CDMA networks
In this paper, we address the issue of performance of linear multiuser detectors for a multicasting application in an ad hoc wireless network. Using a code-division multiple-access...
Chandrasekar Sankaran, Anthony Ephremides
MSCS
2007
117views more  MSCS 2007»
15 years 6 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani