Sciweavers

6590 search results - page 1272 / 1318
» Evaluating the performance engineering process
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
13 years 10 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
ENTCS
2007
97views more  ENTCS 2007»
13 years 10 months ago
Safety-Oriented Design of Component Assemblies using Safety Interfaces
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
Jonas Elmqvist, Simin Nadjm-Tehrani
SIGIR
2008
ACM
13 years 9 months ago
Learning query intent from regularized click graphs
This work presents the use of click graphs in improving query intent classifiers, which are critical if vertical search and general-purpose search services are to be offered in a ...
Xiao Li, Ye-Yi Wang, Alex Acero
TASLP
2008
102views more  TASLP 2008»
13 years 9 months ago
On the Importance of the Pearson Correlation Coefficient in Noise Reduction
Noise reduction, which aims at estimating a clean speech from noisy observations, has attracted a considerable amount of research and engineering attention over the past few decade...
Jacob Benesty, Jingdong Chen, Yiteng Huang
VR
2008
IEEE
120views Virtual Reality» more  VR 2008»
13 years 9 months ago
Force modeling for tooth preparation in a dental training system
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
Guanyang Liu, Yuru Zhang, William T. Townsend
« Prev « First page 1272 / 1318 Last » Next »