793 search results - page 26 / 159 » Input Modeling Tools for Complex Problems |
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
JCP
2008
13 years 8 months ago
2008
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
CHI
2007
ACM
14 years 15 days ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
COMPGEOM
2010
ACM
14 years 12 days ago
2010
ACM
We give a provably correct algorithm to reconstruct a kdimensional manifold embedded in d-dimensional Euclidean space. Input to our algorithm is a point sample coming from an unkn...