692 search results - page 59 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
AIED
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
102
click to vote
AES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
JMIV
2006
14 years 11 months ago
2006
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological space...
TSMC
2008
14 years 11 months ago
2008
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
111
click to vote
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...