Sciweavers

2152 search results - page 292 / 431
» On Automating the Calculus of Relations
Sort
View
TARK
2009
Springer
16 years 27 days ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow
CIBSE
2009
ACM
16 years 27 days ago
A Service-Oriented Approach for Model Management
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Jorge Luis Pérez-Medina, Dominique Rieu, So...
ICALT
2008
IEEE
16 years 25 days ago
Competency-Based Intelligent Curriculum Sequencing Using Particle Swarms
As a part of many e-learning initiatives, a set of learning units must be arranged in a particular order to meet the learners’ requirements. This process is known as sequencing ...
Luis de Marcos, Roberto Barchino, José-Javi...
LICS
2008
IEEE
16 years 23 days ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch
AINA
2007
IEEE
16 years 22 days ago
Towards Device-Blending: Model and Challenges
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
Harinder Seera, Seng Wai Loke, Torab Torabi