1236 search results - page 196 / 248 » The Problems of Data Modeling in Software Practice |
198
click to vote
PASTE
2005
ACM
16 years 2 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
177
click to vote
PLDI
2005
ACM
16 years 2 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
178
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
155
click to vote
ANOR
2006
15 years 6 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
214
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Monitoring activities using video data is an important surveillance problem. A special scenario is to learn the pattern of normal activities and detect abnormal events from a very...