Sciweavers

323 search results - page 56 / 65
» Interactive Organ Segmentation Using Graph Cuts
Sort
View
FLAIRS
2006
13 years 8 months ago
Using Enhanced Concept Map for Student Modeling in Programming Tutors
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
Amruth N. Kumar
CSL
2007
Springer
14 years 1 months ago
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
Dale Miller, Alexis Saurin
ICCV
2007
IEEE
14 years 9 months ago
Temporal Segmentation of Facial Behavior
Temporal segmentation of facial gestures in spontaneous facial behavior recorded in real-world settings is an important, unsolved, and relatively unexplored problem in facial imag...
Fernando De la Torre, Joan Campoy, Zara Ambadar, J...
CHI
2009
ACM
14 years 8 months ago
Tailoring websites to increase contributions to online communities
Many online communities experience insufficient contributions from their members. In order to encourage contributions to the community, we examined a website tailoring approach to...
Min Kyung Lee, Tawanna Dillahunt, Bryan A. Pendlet...
BMCBI
2007
133views more  BMCBI 2007»
13 years 7 months ago
Semantic integration to identify overlapping functional modules in protein interaction networks
Background: The systematic analysis of protein-protein interactions can enable a better understanding of cellular organization, processes and functions. Functional modules can be ...
Young-Rae Cho, Woochang Hwang, Murali Ramanathan, ...