1669 search results - page 121 / 334 » Structured Specification of Model Interpreters |
130
Voted
TROB
2002
15 years 3 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
151
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
120
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
154
Voted
NIPS
2007
15 years 5 months ago
2007
We consider the estimation problem in Gaussian graphical models with arbitrary structure. We analyze the Embedded Trees algorithm, which solves a sequence of problems on tractable...
137
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...