Sciweavers

3623 search results - page 307 / 725
» Functionally Modeled User Interfaces
Sort
View
WSC
1997
15 years 6 months ago
SimTutor: A Multimedia Intelligent Tutoring System for Simulation Modeling
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
Tajudeen A. Atolagbe, Vlatka Hlupic
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 7 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
TVCG
2008
99views more  TVCG 2008»
15 years 4 months ago
Mesh Composition on Models with Arbitrary Boundary Topology
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
Juncong Lin, Xiaogang Jin, Charlie C. L. Wang, Kin...
WSDM
2012
ACM
285views Data Mining» more  WSDM 2012»
14 years 17 days ago
Probabilistic models for personalizing web search
We present a new approach for personalizing Web search results to a specific user. Ranking functions for Web search engines are typically trained by machine learning algorithms u...
David Sontag, Kevyn Collins-Thompson, Paul N. Benn...
CHI
2007
ACM
16 years 5 months ago
Revisiting and validating a model of two-thumb text entry
MacKenzie and Soukoreff have previously introduced a Fitts' Law?based performance model of expert two?thumb text entry on mini?QWERTY keyboards [4]. In this work we validate ...
Edward Clarkson, Kent Lyons, James Clawson, Thad S...