Sciweavers

7918 search results - page 1222 / 1584
» Model Composition Directives
Sort
View
132
Voted
BILDMED
2009
107views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Towards an Estimation of Acoustic Impedance from Multiple Ultrasound Images
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
Christian Wachinger, Ramtin Shams, Nassir Navab
BIS
2009
107views Business» more  BIS 2009»
15 years 5 months ago
Framework for Value Prediction of Knowledge-Based Applications
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
Ali Imtiaz, Tobias Bürger, Igor O. Popov, Ele...
BIRTHDAY
2010
Springer
15 years 5 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
GECCO
2008
Springer
171views Optimization» more  GECCO 2008»
15 years 5 months ago
An EDA based on local markov property and gibbs sampling
The key ideas behind most of the recently proposed Markov networks based EDAs were to factorise the joint probability distribution in terms of the cliques in the undirected graph....
Siddhartha Shakya, Roberto Santana
ASWEC
2010
IEEE
15 years 5 months ago
Scenario-Based Validation: Beyond the User Requirements Notation
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
Dave Arnold, Jean-Pierre Corriveau, Wei Shi
« Prev « First page 1222 / 1584 Last » Next »