Sciweavers

15888 search results - page 2665 / 3178
» Supporting human-intensive systems
Sort
View
ICC
2009
IEEE
130views Communications» more  ICC 2009»
16 years 2 months ago
Flexible Single Sign-On for SIP: Bridging the Identity Chasm
—Identity federation is a key requirement for today’s distributed services. This technology allows managed sharing of users’ identity information between identity providers (...
Pin Nie, Juha-Matti Tapio, Sasu Tarkoma, Jani Heik...
ICDAR
2009
IEEE
16 years 2 months ago
Information Extraction from Multimodal ECG Documents
With the rise of tools for clinical decision support, there is an increased need for automatic processing of electrocardiograms (ECG) documents. In fact, many systems have already...
Fei Wang, Tanveer Fathima Syeda-Mahmood, David Bey...
ICDAR
2009
IEEE
16 years 2 months ago
Learning and Adaptation for Improving Handwritten Character Recognizers
Writer independent handwriting recognition systems are limited in their accuracy, primarily due the large variations in writing styles of most characters. Samples from a single ch...
Naveen Chandra Tewari, Anoop M. Namboodiri
WCRE
2009
IEEE
16 years 2 months ago
Autumn Leaves: Curing the Window Plague in IDEs
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
David Röthlisberger, Oscar Nierstrasz, St&eac...
KBSE
2009
IEEE
16 years 2 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
« Prev « First page 2665 / 3178 Last » Next »