Sciweavers

1320 search results - page 130 / 264
» Efficient Implementation of a Linear Logic Programming Langu...
Sort
View
137
Voted
ESWS
2007
Springer
15 years 9 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
128
Voted
SIAMJO
2000
74views more  SIAMJO 2000»
15 years 3 months ago
A Specialized Interior-Point Algorithm for Multicommodity Network Flows
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
Jordi Castro
133
Voted
ASPLOS
1992
ACM
15 years 7 months ago
Efficient Superscalar Performance Through Boosting
The foremost goal of superscalar processor design is to increase performance through the exploitation of instruction-level parallelism (ILP). Previous studies have shown that spec...
Michael D. Smith, Mark Horowitz, Monica S. Lam
145
Voted
ICCAD
2007
IEEE
164views Hardware» more  ICCAD 2007»
16 years 17 days ago
Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates
— Small gates, such as AND2, XOR2 and MUX2, have been mixed with lookup tables (LUTs) inside the programmable logic block (PLB) to reduce area and power and increase performance ...
Yu Hu, Satyaki Das, Steven Trimberger, Lei He
145
Voted
DAGSTUHL
2004
15 years 5 months ago
ECA Perspectives - Requirements, Applications, Technology
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
Anton Eliëns, Zhisheng Huang, Johan F. Hoorn,...