473 search results - page 41 / 95 » Aspect Validation Using Model Checking |
AIED
2005
Springer
14 years 3 months ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
CGF
2011
13 years 1 months ago
2011
In this paper, we present new solutions for the interactive modeling of city layouts that combine the power of procedural modeling with the flexibility of manual modeling. Proced...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents an approach for modeling landmark sites such as the Statue of Liberty based on large-scale contaminated image collections gathered from the Internet. Our system...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
ICAS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...