8760 search results - page 64 / 1752 » Modeling users of intelligent systems |
COMPSAC
2008
IEEE
15 years 1 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
125
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
113
click to vote
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
114
click to vote
ICIA
2007
15 years 2 months ago
2007
The Smart Personal Assistant (SPA) enables users to access e-mail and calendar information using natural language dialogue through a PDA platform. The user interface to the SPA mu...
TSP
2010
14 years 6 months ago
2010
We consider the robust precoder design for Multi-User Multiple Input Single Output (MU-MISO) systems where the Channel State Information (CSI) is fed back from the single antenna ...