489 search results - page 72 / 98 » Support tools for graphs in computer science |
108
click to vote
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
115
click to vote
ITICSE
2009
ACM
15 years 7 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
144
click to vote
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
128
click to vote
ISAAC
2004
Springer
15 years 6 months ago
2004
Springer
For c ∈ R, a c-spanner is a subgraph of a complete Euclidean graph satisfying that between any two vertices there exists a path of weighted length at most c times their geometric...
131
click to vote
TPHOL
1997
IEEE
15 years 5 months ago
1997
IEEE
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...