10820 search results - page 268 / 2164 » Understanding |
162
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
159
click to vote
SEE
2010
Springer
15 years 5 months ago
2010
Springer
We describe the development, testing, and formative evaluation of nine role-play scenarios for teaching central topics in the responsible conduct of research to graduate students ...
206
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Representing web data into a machine understandable format is a curtail task for the next generation of the web. Most of current web pages are dynamic pages. A large percentage of...
180
click to vote
ENTCS
2010
15 years 4 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
408
click to vote
Lab
VIMS Lab is situated in Department of Computer & Information Sc, University of Delaware, Newark, DE. USA.
At VIMS we work on various problems related to image/video processing...