Sciweavers

12745 search results - page 414 / 2549
» Automating test automation
Sort
View
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
16 years 12 days ago
Hybrid speaker tracking in an automated lecture room
We present a hybrid speaker tracking scheme based on a single pan/tilt/zoom (PTZ) camera in an automated lecture capturing system. Given that the camera’s video resolution is hi...
Cha Zhang, Yong Rui, Li-wei He, Michael N. Wallick
IPPS
2005
IEEE
16 years 12 days ago
Automated Analysis of Memory Access Behavior
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
Michael Gerndt, Tianchao Li
WWW
2005
ACM
16 years 11 days ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
AIED
2005
Springer
16 years 11 days ago
Factors Influencing Effectiveness in Automated Essay Scoring with LSA
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
Fridolin Wild, Christina Stahl, Gerald Stermsek, Y...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 11 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...