Sciweavers

7839 search results - page 1512 / 1568
» What's News, What's Not
Sort
View
ENTCS
2002
152views more  ENTCS 2002»
13 years 8 months ago
Abstract Logics as Dialgebras
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
Alessandra Palmigiano
ECOI
2007
101views more  ECOI 2007»
13 years 8 months ago
Reasoning about taxonomies in first-order logic
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
David Thau, Bertram Ludäscher
JASIS
2000
262views more  JASIS 2000»
13 years 8 months ago
The conduit metaphor and the nature and politics of information studies
: This article examines information theory from the aspect of its "conduit metaphor." A historical approach and a close reading of certain texts by Warren Weaver and Nor...
Ronald E. Day
JETAI
2000
302views more  JETAI 2000»
13 years 8 months ago
Consciousness, intentionality and intelligence: some foundational issues for artificial intelligence
: We present three fundamental questions concerning minds. These are about consciousness, intentionality and intelligence. After we present the fundamental framework that has shape...
Murat Aydede, Guven Guzeldere
JOC
2000
95views more  JOC 2000»
13 years 8 months ago
Player Simulation and General Adversary Structures in Perfect Multiparty Computation
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
Martin Hirt, Ueli M. Maurer
« Prev « First page 1512 / 1568 Last » Next »