Sciweavers

15754 search results - page 749 / 3151
» Programs are Knowledge Bases
Sort
View
218
Voted
TMI
2008
141views more  TMI 2008»
15 years 7 months ago
Ultrasound Elastography: A Dynamic Programming Approach
This paper introduces a 2-D strain imaging technique based on minimizing a cost function using dynamic programming (DP). The cost function incorporates similarity of echo amplitude...
Hassan Rivaz, Emad Boctor, Pezhman Foroughi, Richa...
199
Voted
JLP
2007
86views more  JLP 2007»
15 years 7 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
197
Voted
CMPB
2000
69views more  CMPB 2000»
15 years 7 months ago
Microcomputer program for automated action potential waveform analysis
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...
Enrique Soto, Emilio Salceda, Ricardo Cruz, Aida O...
173
Voted
CN
1998
105views more  CN 1998»
15 years 7 months ago
WebL - A Programming Language for the Web
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...
Thomas Kistler, Hannes Marais
233
Voted
CP
2010
Springer
15 years 5 months ago
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
David Allouche, Simon de Givry, Thomas Schiex