Sciweavers

1058 search results - page 138 / 212
» Search Strategies for Automatic Performance Analysis Tools
Sort
View
ESAW
2009
Springer
15 years 10 months ago
Cooperative Sign Language Tutoring: A Multiagent Approach
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
Ilker Yildirim, Oya Aran, Pinar Yolum, Lale Akarun
BMCBI
2008
122views more  BMCBI 2008»
15 years 4 months ago
High-throughput bioinformatics with the Cyrille2 pipeline system
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
Mark W. E. J. Fiers, Ate van der Burgt, Erwin Date...
WWW
2005
ACM
16 years 4 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
DAC
1994
ACM
15 years 8 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
CHI
2009
ACM
16 years 4 months ago
Visualization and interaction techniques for mobile devices
This paper presents ongoing work toward the development of one-handed interaction techniques for mobile devices with a small touch-screen. This work comprises three main parts: th...
Anne Roudaut