8232 search results - page 1453 / 1647 » Dynamic Logic Programming |
180
click to vote
ACSAC
2007
IEEE
16 years 20 days ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
150
click to vote
BIBE
2007
IEEE
16 years 20 days ago
2007
IEEE
—We investigate the k-LCS problem that is finding a longest common subsequence (LCS) for k given input strings. The problem is known to have practical solutions for k = 2, but f...
191
click to vote
BIBE
2007
IEEE
16 years 20 days ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...
147
click to vote
CRV
2007
IEEE
16 years 20 days ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
151
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
The integration of microprocessors and field-programmable gate array (FPGA) fabric on a single chip increases both the utility and necessity of tools that automatically move softw...