Sciweavers

8768 search results - page 210 / 1754
» Generalizing the notion of support
Sort
View
SIMPRA
2008
83views more  SIMPRA 2008»
15 years 7 months ago
Learning by doing, learning spillovers and the diffusion of fuel cell vehicles
Fuel cell vehicles (FCVs) running on hydrogen do not cause local air pollution. Depending on the energy sources used to produce the hydrogen they may also reduce greenhouse gases ...
Malte Schwoon
TCS
2008
15 years 7 months ago
Constructibility and decidability versus domain independence and absoluteness
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
Arnon Avron
BSL
2005
74views more  BSL 2005»
15 years 7 months ago
Turing computations on ordinals
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length to computations on tapes of arbitrary ordinal length. We show that a ...
Peter Koepke
AI
2004
Springer
15 years 7 months ago
Compiling propositional weighted bases
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
Adnan Darwiche, Pierre Marquis
APAL
2004
111views more  APAL 2004»
15 years 7 months ago
Concept lattices and order in fuzzy logic
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
Radim Belohlávek