Sciweavers

959 search results - page 129 / 192
» On the implementation of automatic differentiation tools
Sort
View
ECOOP
2010
Springer
15 years 8 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
MM
1996
ACM
168views Multimedia» more  MM 1996»
15 years 8 months ago
CVEPS - A Compressed Video Editing and Parsing System
Processing digital video directly in the compressed domain has many advantages in terms of storage efficiency, speed, and video quality. We have developed a compressed video editi...
Jianhao Meng, Shih-Fu Chang
139
Voted
APCCM
2008
15 years 5 months ago
A Practical Guide to Testing the Understandability of Notations
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
Susanne Patig
AAAI
1996
15 years 5 months ago
The NASA Personnel Security Processing Expert System
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
David Silberberg, Robert Thomas
118
Voted
ISMB
1993
15 years 5 months ago
Integrating Order and Distance Relationships from Heterogeneous Maps
There is no automatic mechanism to integrate information between heterogeneous genome maps. Currently, integration is a di cult, manual process. We have developed a process for kn...
Mark Graves