2854 search results - page 531 / 571 » A Study of the Genus of a Group |
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Understanding human-human interaction is fundamental to the long-term pursuit of powerful and natural multimodal interfaces. Nonverbal communication, including body posture, gestu...
ICSR
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this article we explore the short and largely undocumented history of electronic government, discuss the literature of e-government at the local government level, and document ...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Healthcare technology investments must be borne by charity, government subsidy, or patient reimbursement. Such investments can be expensive and require partnerships of public and ...