1669 search results - page 102 / 334 » Structured Specification of Model Interpreters |
116
Voted
WSC
2004
15 years 4 months ago
2004
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 ...
129
Voted
EDM
2009
15 years 1 months ago
2009
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...
242
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
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...
149
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
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...
121
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
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...