Sciweavers

970 search results - page 122 / 194
» Dynamics and Automaticity of Context: A Cognitive Modeling A...
Sort
View
DSVIS
2008
Springer
15 years 3 months ago
Cascading Dialog Modeling with UsiXML
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
Marco Winckler, Jean Vanderdonckt, Adrian Stanciul...
DIMACS
1996
15 years 3 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
DAGSTUHL
2009
15 years 2 months ago
Statistical Mechanics of On-line Learning
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
Michael Biehl, Nestor Caticha, Peter Riegler
HCI
2007
15 years 3 months ago
Online Analysis of Hierarchical Events in Meetings
Automatic online analysis of meetings is very important from three points of view: serving as an important archive of a meeting, understanding human interaction processes, and prov...
Xiang Zhang, Guangyou Xu, Xiaoling Xiao, Linmi Tao
OOPSLA
2010
Springer
14 years 11 months ago
A recommender for conflict resolution support in optimistic model versioning
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
Petra Brosch, Martina Seidl, Gerti Kappel