Sciweavers

4971 search results - page 263 / 995
» Observation systems
Sort
View
LWA
2008
15 years 8 months ago
Fine-grained user models by means of asynchronous web technologies
Although asynchronous HTTP technologies have grown in importance with the emergence of Web 2.0, most web-based Adaptive Hypermedia Systems (AHS) still exclusively use serverside m...
David Hauger
ECAI
2010
Springer
15 years 7 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
AUTOMATICA
2006
137views more  AUTOMATICA 2006»
15 years 6 months ago
A Newton-like method for solving rank constrained linear matrix inequalities
This paper presents a Newton-like algorithm for solving systems of rank constrained linear matrix inequalities. Though local quadratic convergence of the algorithm is not a priori...
Robert Orsi, Uwe Helmke, John B. Moore
CORR
2010
Springer
54views Education» more  CORR 2010»
15 years 5 months ago
Geoglyphs of Titicaca as an ancient example of graphic design
The paper proposes an ancient landscape design as an example of graphic design for an age and place where no written documents existed. It is created by a network of earthworks, w...
Amelia Carolina Sparavigna
ISCAS
2011
IEEE
224views Hardware» more  ISCAS 2011»
14 years 10 months ago
Synchronizing coupled oscillators in polygonal networks with frustration
— In this study, synchronization phenomena observed in coupled polygonal oscillatory networks with frustration is investigated. We focus on the power consumption of coupling resi...
Yoko Uwate, Yoshifumi Nishio