Sciweavers

2501 search results - page 450 / 501
» Logics with Rank Operators
Sort
View
JETAI
2000
121views more  JETAI 2000»
15 years 3 months ago
Contextual reasoning distilled
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
IJCIM
2002
99views more  IJCIM 2002»
15 years 3 months ago
A distributed, event-driven control architecture for flexibly automated manufacturing systems
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bod...
IBMSJ
1998
81views more  IBMSJ 1998»
15 years 3 months ago
T Spaces
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehm...
JANCL
2002
121views more  JANCL 2002»
15 years 3 months ago
Approximate coherence-based reasoning
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
Frédéric Koriche
MICRO
2002
IEEE
131views Hardware» more  MICRO 2002»
15 years 3 months ago
Protocol Wrappers for Layered Network Packet Processing in Reconfigurable Hardware
abstracting the operation of lower-level packet processing functions. The library synthesizes into field-programmable gate array (FPGA) logic and is utilized in a network platform ...
Florian Braun, John W. Lockwood, Marcel Waldvogel