4469 search results - page 44 / 894 » Dynamic Program Slicing |
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
We are in the process of constructing a high resolution, high signal to noise ratio (SNR) dynamic MRI dataset for the human heart using methodology similar to that employed to cons...
VISUALIZATION
1996
IEEE
13 years 11 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...