Sciweavers

3353 search results - page 239 / 671
» Laver and set theory
Sort
View
ENGL
2007
144views more  ENGL 2007»
15 years 6 months ago
Constructive Analysis of Intensional Phenomena in Natural Language
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
Rogelio Davila, Leonardo Soto, Nahitt H. Padilla
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
Remarks on Testing Probabilistic Processes
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
HMD
2007
32views more  HMD 2007»
15 years 6 months ago
Strategische Bewertung von IV-Projekten
: Die fortschreitende Industrialisierung der Informationsverarbeitung (IV) in Unternehmen fordert vom Management eine nachvollziehbare Planung des IVProjektportfolios. Unterstützu...
Volker Nissen, Ingmar Müller
SIAMDM
2008
190views more  SIAMDM 2008»
15 years 6 months ago
On the Complexity of Ordered Colorings
We introduce two variants of proper colorings with imposed partial ordering on the set of colors. One variant shows very close connections to some fundamental problems in graph the...
Arvind Gupta, Jan van den Heuvel, Ján Manuc...
TRS
2008
15 years 6 months ago
A Model of User-Oriented Reduct Construction for Machine Learning
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
Yiyu Yao, Yan Zhao, Jue Wang, Suqing Han