Sciweavers

11588 search results - page 66 / 2318
» Will They Like This
Sort
View
FTP
1998
Springer
14 years 1 months ago
Higher-Order Modal Logic - A Sketch
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
Melvin Fitting
KR
1994
Springer
14 years 1 months ago
An Ontology of Meta-Level Categories
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
ASYNC
2004
IEEE
78views Hardware» more  ASYNC 2004»
14 years 21 days ago
Hiding Synchronization Delays in a GALS Processor Microarchitecture
We analyze an Alpha 21264-like Globally
Greg Semeraro, David H. Albonesi, Grigorios Magkli...
AIPS
2000
13 years 10 months ago
Exploiting State Constraints in Heuristic State-Space Planning
In the last years, some very promising domain independent heuristic state-space planners for STRIPS worlds, like ASP/HSP, HSPr and GRT, have been presented. These planners achieve...
Ioannis Refanidis, Ioannis P. Vlahavas
WEBNET
1996
13 years 10 months ago
The bumpy road of Electronic Commerce
: Electronic commerce is widely expected to promote "friction-free" capitalism, with consumers sending software agents to scour the Net for the best deals. Many distribut...
Andrew M. Odlyzko