481 search results - page 23 / 97 » Executing Higher Order Logic |
FINANCECOM
2007
Springer
14 years 4 months ago
2007
Springer
For the execution of large equity orders, institutional investors often use the Volume Weighted Average Price (VWAP) as a benchmark to measure execution quality. To achieve this, ...
SBACPAD
2005
IEEE
14 years 3 months ago
2005
IEEE
Complexity is one of the most important problems facing microarchitects. It is exacerbated by the application of optimizations, by scaling to higher issue widths and, in general, ...
IJCAI
1989
13 years 11 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
LILOG
1989
14 years 1 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...