Sciweavers

5378 search results - page 368 / 1076
» Base Logics in Argumentation
Sort
View
194
Voted
ILP
2003
Springer
16 years 27 days ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
193
Voted
ISMIS
2003
Springer
16 years 27 days ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
182
Voted
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
16 years 12 days ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
202
Voted
GLVLSI
1999
IEEE
88views VLSI» more  GLVLSI 1999»
16 years 8 hour ago
Logic in Wire: Using Quantum Dots to Implement a Microprocessor
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...
Michael T. Niemier, Peter M. Kogge
198
Voted
KES
1999
Springer
15 years 12 months ago
Shape specification in design using fuzzy logic
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
B. Pham