1669 search results - page 225 / 334 » Structured Specification of Model Interpreters |
102
click to vote
IWEC
2008
15 years 4 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
135
Voted
MVA
2007
15 years 4 months ago
2007
In this paper, our goal is to reconstruct metric 3D models for large structures (or other 3D objects) from uncalibrated images. The internal camera parameters are estimated by usi...
110
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
154
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
127
Voted
WSC
1998
15 years 4 months ago
1998
This paper discusses issues in modeling C4I and cognitive processes in next generation simulations and applications to Force XXI command and control. We propose a modification to ...