Sciweavers

4163 search results - page 193 / 833
» Enhancing surgical systems
Sort
View
141
Voted
IPPS
2010
IEEE
15 years 2 months ago
Resource management of enterprise cloud systems using layered queuing and historical performance models
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...
David A. Bacigalupo, Jano van Hemert, Asif Usmani,...
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 8 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
ACL
2003
15 years 6 months ago
An Adaptive Approach to Collecting Multimodal Input
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
Anurag Gupta
GLOBECOM
2006
IEEE
15 years 10 months ago
Low-Complexity Turbo Equalization for Alamouti Space-Time Block Coded EDGE Systems
— Enhanced Data Rates for Global Evolution (EDGE) based systems are expected to facilitate the same services as third generation WCDMA systems. This goal is achieved through phys...
K. C. B. Wavegedara, Vijay K. Bhargava
EMINDS
2007
97views more  EMINDS 2007»
15 years 4 months ago
Exploring Text-based and Graphical-based Usable Interfaces for Mobile Chat Systems
Abstract Current text-based mobile chat systems hinder navigation with long chat archive in a limited screen display. Moreover, it is time consuming and cumbersome to track message...
Daniel Kuen Seong Su