Sciweavers

2379 search results - page 71 / 476
» Computer Science in the Information Age
Sort
View
DIS
2007
Springer
16 years 8 days ago
Literature-Based Discovery by an Enhanced Information Retrieval Model
The massive, ever-growing literature in life science makes it increasingly difficult for individuals to grasp all the information relevant to their interests. Since even experts’...
Kazuhiro Seki, Javed Mostafa
169
Voted
CSCW
2002
ACM
15 years 5 months ago
Designing and deploying an information awareness interface
The concept of awareness has received increasing attention over the past several CSCW conferences. Although many awareness interfaces have been designed and studied, most have bee...
Jonathan J. Cadiz, Gina Danielle Venolia, Gavin Ja...
185
Voted
TPHOL
1997
IEEE
15 years 10 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
IADIS
2004
15 years 7 months ago
Connect: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal and Informal Learning Environments
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
Sofoklis Sotiriou, Eleni Chatzichristou, Stavros S...
149
Voted
ITICSE
2006
ACM
16 years 1 days ago
Fast application development to demonstrate computer graphics concepts
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...
Pedro Pablo Gómez-Martín, Marco Anto...