4460 search results - page 430 / 892 » Formal methods for interactive systems |
177
click to vote
IJVR
2006
15 years 6 months ago
2006
We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content man-agement systems (CMS). To achieve this, we employed a geometry hiera...
169
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
162
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This CHI Note proposes a new research initiative for the HCI community: multi-lifespan information system design. The central idea begins with the identification of categories of ...
159
click to vote
JMLR
2010
15 years 1 months ago
2010
We recently proposed a new measure, termed Phase Slope Index (PSI), It estimates the causal direction of interactions robustly with respect to instantaneous mixtures of independen...
177
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...