Sciweavers

2152 search results - page 292 / 431
» On Automating the Calculus of Relations
Sort
View
188
Voted
TARK
2009
Springer
15 years 7 months 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
15 years 7 months 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...
116
Voted
ICALT
2008
IEEE
15 years 7 months 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...
61
Voted
LICS
2008
IEEE
15 years 7 months 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
111
Voted
AINA
2007
IEEE
15 years 7 months 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