Sciweavers

614 search results - page 45 / 123
» Computational Biomedicine Lab
Sort
View
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 4 months ago
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
Kenneth L. McMillan, Lenore D. Zuck
CBMS
2001
IEEE
15 years 3 months ago
Abnormality Detection in Automated Mass Screening System of Diabetic Retinopathy
An approach of abnormality detection from color jiindirs images for automated mass screening system is proposed in this paper, which uses the object-based color difference image. ...
Gang Luo, Opas Chutatape, Huiqi Li, Shankar M. Kri...
CANDC
2005
ACM
15 years 1 months ago
Sponge: a case study in practice-based collaborative art research
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...
Christopher L. Salter, Sha Xin Wei
ICCS
2001
Springer
15 years 4 months ago
Developing Components and Curricula for a Research-Rich Undergraduate Degree in Computational Physics
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
Rubin H. Landau
HUC
2010
Springer
14 years 10 months ago
UBI challenge workshop 2010: real world urban computing
This workshop promotes ubiquitous computing research in authentic urban setting, with real users and with sufficient scale and time span. We first motivate why such research is im...
Timo Ojala, Jukka Riekki