Sciweavers

3865 search results - page 310 / 773
» From Bidirectionality to Alternation
Sort
View
MSS
2008
IEEE
112views Hardware» more  MSS 2008»
15 years 6 months ago
Axiomatization of stochastic models for choice under uncertainty
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...
John K. Dagsvik
NGC
2006
Springer
102views Communications» more  NGC 2006»
15 years 6 months ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás
ITA
2007
15 years 6 months ago
Three notes on the complexity of model checking fixpoint logic with chop
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
Martin Lange
BMCBI
2005
88views more  BMCBI 2005»
15 years 6 months ago
Analysis of concordance of different haplotype block partitioning algorithms
Background: Different classes of haplotype block algorithms exist and the ideal dataset to assess their performance would be to comprehensively re-sequence a large genomic region ...
Amit R. Indap, Gabor T. Marth, Craig A. Struble, P...
JITECH
2007
71views more  JITECH 2007»
15 years 6 months ago
E-government: towards the e-bureaucratic form?
Bureaucratic institutions not only provide mechanisms to coordinate work activities in the public sector, but also serve to enforce the democratic values of equality and impartial...
Antonio Cordella