1205 search results - page 78 / 241 » Program Extraction from Large Proof Developments |
118
click to vote
MA
1999
Springer
15 years 5 months ago
1999
Springer
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
111
click to vote
PG
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
106
click to vote
JCC
2008
15 years 1 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
108
click to vote
IAJIT
2010
15 years 5 days ago
2010
: The heterogeneous and dynamic nature of components making up a web application, the lack of effective programming mechanisms for implementing basic software engineering principle...
104
click to vote
DATE
1997
IEEE
15 years 5 months ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...