Sciweavers

1984 search results - page 396 / 397
» The colourful feasibility problem
Sort
View
IEEEARES
2010
IEEE
13 years 7 months ago
Using Smart Cards for Tamper-Proof Timestamps on Untrusted Clients
Online auctions of governmental bonds and CO2 certificates are challenged by high availability requirements in face of high peak loads around the auction deadline. Traditionally, t...
Guenther Starnberger, Lorenz Froihofer, Karl M. G&...
MICCAI
2010
Springer
13 years 7 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...
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
13 years 7 months ago
ESMF based multiple UAVs active cooperative observation method in relative velocity coordinates
based on extended set-membership filter (ESMF) and the path planning method in relative velocity coordinates (RVCs), a new 3D multiple Unmanned Aerial Vehicle (UAV) systems active ...
Feng Gu, Yuqing He, Jianda Han, Yuechao Wang
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
MBEC
2011
198views more  MBEC 2011»
13 years 4 months ago
Clinically oriented real-time monitoring of the individual's risk for deep tissue injury
Spinal cord injury patients are under daily risk for developing deep tissue injury which is a severe pressure ulcer that initiates in soft tissues at the bones’ proximity. We aim...
Sigal Portnoy, Nicolas Vuillerme, Yohan Payan, Ami...