Sciweavers

1274 search results - page 159 / 255
» Educational Information Search Service Using Ontology
Sort
View
CORR
2010
Springer
104views Education» more  CORR 2010»
13 years 6 months ago
FreePub: Collecting and Organizing Scientific Material Using Mindmaps
This paper presents a creativity support tool, called FreePub, to collect and organize scientific material using mindmaps. Mindmaps are visual, graph-based represenations of concep...
Theodore Dalamagas, Tryfon Farmakakis, Manolis Mar...
IJCAI
2007
13 years 10 months ago
Learning Semantic Descriptions of Web Information Sources
The Internet is full of information sources providing various types of data from weather forecasts to travel deals. These sources can be accessed via web-forms, Web Services or RS...
Mark James Carman, Craig A. Knoblock
CORR
2011
Springer
115views Education» more  CORR 2011»
13 years 25 days ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
SIGUCCS
2003
ACM
14 years 2 months ago
Deep in benchmarking: using industry standards to assess a training program
At the University of Missouri – Columbia’s Information and Access Technology (IAT) Services, InfoTech Training compares the results of their IT training program with similar t...
Joleen Pfefer
CHI
2011
ACM
13 years 20 days ago
Characterizing the usability of interactive applications through query log analysis
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
Adam Fourney, Richard Mann, Michael Terry