4770 search results - page 170 / 954 » Flexible Type Analysis |
256
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
155
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected 3D objects and has been used in many app...
165
click to vote
SAFECOMP
2009
Springer
15 years 11 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
136
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
This paper demonstrates how stereotypic student groups can be created to enhance cognitive models in computer tutors. Computer tutors use cognitive models to track what skills stud...
141
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
We present an open framework for visual mining of CVS software repositories. We address three aspects: data extraction, analysis and visualization. We first discuss the challenges...