Sciweavers

1750 search results - page 112 / 350
» E-Commerce Development Procedure
Sort
View
ISBI
2002
IEEE
15 years 11 months ago
ARMA modeling for estimation of permeability from perfusion MRI
We develop noninvasive MRI techniques that quantify the permeability of the Blood-Brain Barrier (BBB). Using such gadolinium compounds as Gd-DTPA and gadomer17, changes in R1 (R1 ...
Mohammad Mehdi Khalighi, Hamid Soltanian-Zadeh, Ja...
STOC
2000
ACM
55views Algorithms» more  STOC 2000»
15 years 10 months ago
Self-testing of universal and fault-tolerant sets of quantum gates
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...
Wim van Dam, Frédéric Magniez, Miche...
129
Voted
IWPC
1999
IEEE
15 years 10 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
161
Voted
SSDBM
1998
IEEE
141views Database» more  SSDBM 1998»
15 years 10 months ago
Scientific Workflow Management by Database Management
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
Anastassia Ailamaki, Yannis E. Ioannidis, Miron Li...
ISSTA
1998
ACM
15 years 10 months ago
Automatic Test Data Generation Using Constraint Solving Techniques
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
Arnaud Gotlieb, Bernard Botella, Michel Rueher