Sciweavers

8760 search results - page 69 / 1752
» Modeling users of intelligent systems
Sort
View
PROMAS
2007
Springer
16 years 5 days ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
PNPM
1989
15 years 10 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
AMAI
2006
Springer
15 years 6 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
ICIA
2007
15 years 8 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...