16682 search results - page 3170 / 3337 » Software Engineering Education |
174
click to vote
EL
2010
15 years 5 months ago
2010
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...
167
click to vote
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
189
click to vote
IV
2010
IEEE
15 years 4 months ago
2010
IEEE
—Networks are widely used in modeling relational data often comprised of thousands of nodes and edges. This kind of data alone implies a challenge for its visualization as it is ...
189
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
189
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...