3104 search results - page 553 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
140
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
152
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Bag-of-features (BoF) deriving from local keypoints has recently appeared promising for object and scene classification. Whether BoF can naturally survive the challenges such as ...
155
click to vote
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel solution to the illuminant estimation problem: the problem of how, given an image of a scene taken under an unknown illuminant, we can recover an estim...
228
Voted
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
131
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...