Sciweavers

6187 search results - page 466 / 1238
» Practical Software Measurement
Sort
View
IJCAI
2007
15 years 8 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss
CARS
2004
15 years 8 months ago
Improved ultrasound-based navigation for robotic drilling at the lateral skull base
Sensitive structures of the lateral skull base demand for robotic procedures a higher precision than provided by standard navigation systems relying on CT scans. Keystone of our mu...
U. W. Geisthoff, Steffen H. Tretbar, Philipp A. Fe...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 8 months ago
Experimental verification of formation control with distributed cameras
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
He Bai, Karen D. Chapin, John Wason, John T. Wen
COGSCI
2008
65views more  COGSCI 2008»
15 years 7 months ago
A Survey of Model Evaluation Approaches With a Tutorial on Hierarchical Bayesian Methods
We review current methods for evaluating models in the cognitive sciences, including theoretically-based approaches, such as Bayes Factors and MDL measures, simulation approaches,...
Richard M. Shiffrin, Michael D. Lee, Woojae Kim, E...
IJNSEC
2006
71views more  IJNSEC 2006»
15 years 6 months ago
Fundamental Limits on a Model of Privacy-Trust Tradeoff: Information Theoretic Approach
Zhong et al. formulated the problem of disclosing credentials (associated with privacy) for building trust in an open environment like Internet. Thus, one form of privacy-trust pr...
Rama Murthy Garimella