Sciweavers

586 search results - page 91 / 118
» Witnessing side effects
Sort
View
AMAI
2007
Springer
14 years 10 months ago
Reasoning about non-immediate triggers in biological networks
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
Nam Tran, Chitta Baral
JFP
2008
135views more  JFP 2008»
14 years 9 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
JSW
2008
95views more  JSW 2008»
14 years 9 months ago
From Sensors to Assisted Driving - Bridging the Gap
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
Marcus Tönnis, Jan-Gregor Fischer, Gudrun Kli...
MSS
2008
IEEE
67views Hardware» more  MSS 2008»
14 years 9 months ago
Mass-mobilization with noisy conditional beliefs
We examine the role played by information in shaping popular expectations in the process of political mobilization, and the development of revolutionary movements in particular. T...
M. Koster, R. Lindelauf, I. Lindner, G. Owen
TITB
2008
151views more  TITB 2008»
14 years 9 months ago
Shape-Driven Segmentation of the Arterial Wall in Intravascular Ultrasound Images
Segmentation of arterial wall boundaries from intravascular images is an important problem for many applications in the study of plaque characteristics, mechanical properties of t...
Gozde B. Unal, S. Bucher, Stephane G. Carlier, Gre...