Sciweavers

323 search results - page 56 / 65
» Interactive Organ Segmentation Using Graph Cuts
Sort
View
117
Voted
FLAIRS
2006
15 years 3 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
133
Voted
CSL
2007
Springer
15 years 8 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
111
Voted
ICCV
2007
IEEE
16 years 4 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...
97
Voted
CHI
2009
ACM
16 years 2 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...
110
Voted
BMCBI
2007
133views more  BMCBI 2007»
15 years 2 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, ...