173 search results - page 3 / 35 » A Framework for Proving Contract-Equipped Classes |
ICNSC
2008
IEEE
14 years 12 days ago
2008
IEEE
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
JSCIC
2011
13 years 27 days ago
2011
Abstract The flux reconstruction approach to high-order methods is robust, efficient, simple to implement, and allows various high-order schemes, such as the nodal discontinuous ...
COMMA
2010
13 years 28 days ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
WSC
2004
13 years 7 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
NIPS
2000
13 years 7 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...