Sciweavers

9227 search results - page 1441 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
178
Voted
BMCBI
2005
77views more  BMCBI 2005»
15 years 6 months ago
Combining Affymetrix microarray results
Background: As the use of microarray technology becomes more prevalent it is not unusual to find several laboratories employing the same microarray technology to identify genes re...
John R. Stevens, R. W. Doerge
220
Voted
POPL
2010
ACM
15 years 9 months ago
Programming with angelic nondeterminism
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
Rastislav Bodík, Satish Chandra, Joel Galen...
227
Voted
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
15 years 6 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...
MICCAI
2010
Springer
15 years 4 months ago
ECG-Gated Interventional Cardiac Reconstruction for Non-periodic Motion
The 3-D reconstruction of cardiac vasculature using C-arm CT is an active and challenging field of research. In interventional environments patients often do have arrhythmic heart ...
Christopher Rohkohl, Günter Lauritsch, Lisa B...
ICCV
2005
IEEE
16 years 8 months ago
When Does a Camera See Rain?
Rain produces sharp intensity fluctuations in images and videos, which degrade the performance of outdoor vision systems. These intensity fluctuations depend on various factors, s...
Kshitiz Garg, Shree K. Nayar
« Prev « First page 1441 / 1846 Last » Next »