Sciweavers

892 search results - page 132 / 179
» et 2007
Sort
View
AGTIVE
2007
Springer
14 years 2 months ago
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
Gernot Veit Batz, Moritz Kroll, Rubino Geiß
AIED
2007
Springer
14 years 2 months ago
Affect and Usage Choices in Simulation Problem-Solving Environments
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
Ma. Mercedes T. Rodrigo, Ryan Shaun Joazeiro de Ba...
AIED
2007
Springer
14 years 2 months ago
Can a Polite Intelligent Tutoring System Lead to Improved Learning Outside of the Lab?
In this work we are investigating the learning benefits of e-Learning principles (a) within the context of a web-based intelligent tutor and (b) in the “wild,” that is, in real...
Bruce M. McLaren, Sung-Joo Lim, David Yaron, Kenne...
APPROX
2007
Springer
115views Algorithms» more  APPROX 2007»
14 years 2 months ago
Improved Approximation Algorithms for the Spanning Star Forest Problem
A star graph is a tree of diameter at most two. A star forest is a graph that consists of node-disjoint star graphs. In the spanning star forest problem, given an unweighted graph ...
Ning Chen, Roee Engelberg, C. Thach Nguyen, Prasad...
CCS
2007
ACM
14 years 2 months ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin