Sciweavers

379 search results - page 10 / 76
» Advantages of two new approaches for scientific e-publishing
Sort
View
ICRA
2003
IEEE
210views Robotics» more  ICRA 2003»
14 years 26 days ago
A truncated least squares approach to the detection of specular highlights in color images
— One of the most difficult aspects of dealing with illumination effects in computer vision is accounting for specularity in the images of real objects. The specular regions in ...
Jae Byung Park, Avinash C. Kak
PVLDB
2010
128views more  PVLDB 2010»
13 years 2 months ago
Searching Workflows with Hierarchical Views
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...
Ziyang Liu, Qihong Shao, Yi Chen
SIGSOFT
2006
ACM
14 years 8 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
ISBI
2008
IEEE
14 years 8 months ago
FMRI brain activity and underlying hemodynamics estimation in a new Bayesian framework
The emerging functional MRI (Magnetic Resonance Imaging), fMRI, imaging modality was developed to obtain non-invasive information regarding the neural processes behind pre-determi...
David M. Afonso, João M. Sanches, Martin H....
SCAM
2006
IEEE
14 years 1 months ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke