Sciweavers

1669 search results - page 102 / 334
» Structured Specification of Model Interpreters
Sort
View
116
Voted
WSC
2004
15 years 4 months ago
How Factory Physics Helps Simulation
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
Charles R. Standridge
129
Voted
EDM
2009
114views Data Mining» more  EDM 2009»
15 years 1 months ago
Reducing the Knowledge Tracing Space
In Cognitive Tutors, student skill is represented by estimates of student knowledge on various knowledge components. The estimate for each knowledge component is based on a four-pa...
Steven Ritter, Thomas K. Harris, Tristan Nixon, Da...
242
Voted
POPL
2008
ACM
16 years 3 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival
149
Voted
BPM
2006
Springer
158views Business» more  BPM 2006»
15 years 7 months ago
Flexibility of Data-Driven Process Structures
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
Dominic Müller, Manfred Reichert, Joachim Her...
121
Voted
ICCV
2007
IEEE
16 years 5 months ago
Enabling Users to Guide the Design of Robust Model Fitting Algorithms
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
Matthias Wimmer, Freek Stulp, Bernd Radig