Sciweavers

8760 search results - page 69 / 1752
» Modeling users of intelligent systems
Sort
View
PROMAS
2007
Springer
15 years 6 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
PNPM
1989
15 years 3 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
AMAI
2006
Springer
14 years 12 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
ICIA
2007
15 years 2 months ago
Improving Intelligent Assistants for Desktop Activities
Tasks have been identified as playing an important role to knowledge workers as high-level units for organizing their information. TaskTracer is a task-aware desktop system that l...
Simone Stumpf, Margaret M. Burnett, Thomas G. Diet...