Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language Fulltext Access 16 Pages 2012
PC3: Principal Component-based Context Compression: Improving energy efficiency in wireless sensor networks Fulltext Access 16 Pages 2012
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators Fulltext Access 16 Pages 2012
Computability on random events and variables in a computable probability space Fulltext Access 16 Pages 2012
On nn-step MIR and partition inequalities for integer knapsack and single-node capacitated flow sets Fulltext Access 16 Pages 2012
PDDRA: A new pre-fetching based dynamic data replication algorithm in data grids Fulltext Access 16 Pages 2012
Weighted automata and weighted MSO logics for average and long-time behaviors Fulltext Access 16 Pages 2012
An effective and robust two-phase resource allocation scheme for interdependent tasks in mobile ad hoc computational Grids Fulltext Access 16 Pages 2012
A dichotomy theorem for the approximate counting of complex-weighted bounded-degree Boolean CSPs Fulltext Access 16 Pages 2012
Summarizing a set of time series by averaging: From Steiner sequence to compact multiple alignment Fulltext Access 16 Pages 2012
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers Fulltext Access 16 Pages 2012
A general technique to establish the asymptotic conditional diagnosability of interconnection networks Fulltext Access 16 Pages 2012
Stratified additive Poisson models: Computational methods and applications in clinical epidemiology Fulltext Access 16 Pages 2012
Locally adaptive image denoising by a statistical multiresolution criterion Fulltext Access 16 Pages 2012
Conditional Akaike information criterion for generalized linear mixed models Fulltext Access 16 Pages 2012
Sample distribution function based goodness-of-fit test for complex surveys Fulltext Access 16 Pages 2012
Predicting extreme value at risk: Nonparametric quantile regression with refinements from extreme value theory Fulltext Access 16 Pages 2012
Pairwise likelihood estimation for factor analysis models with ordinal data Fulltext Access 16 Pages 2012
A fast and recursive algorithm for clustering large datasets with kk-medians Fulltext Access 16 Pages 2012
Indirect inference methods for stochastic volatility models based on non-Gaussian Ornstein–Uhlenbeck processes Fulltext Access 16 Pages 2012
Efficient Bayesian estimation of a multivariate stochastic volatility model with cross leverage and heavy-tailed errors Fulltext Access 16 Pages 2012
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties Fulltext Access 17 Pages 2012
Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time Fulltext Access 17 Pages 2012
Inverse Hamiltonian Cycle and inverse 3Dimensional Matching are coNP-complete Fulltext Access 17 Pages 2012
New algorithms on wavelet trees and applications to information retrieval Fulltext Access 17 Pages 2012
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages Fulltext Access 17 Pages 2012
Degree distributions of evolving alphabetic bipartite networks and their projections Fulltext Access 17 Pages 2012
Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems Fulltext Access 17 Pages 2012
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code Fulltext Access 17 Pages 2012
An empirical study on inconsistent changes to code clones at the release level Fulltext Access 17 Pages 2012
Mining quantified temporal rules: Formalism, algorithms, and evaluation Fulltext Access 17 Pages 2012
A general model and thresholds for random constraint satisfaction problems Fulltext Access 17 Pages 2012
A Rewriting Logic Approach to Static Checking of Units of Measurement in C Fulltext Access 17 Pages 2012
Modeling and analyzing the impact of authorization on workflow executions Fulltext Access 17 Pages 2012
Workflow management for soft real-time interactive applications in virtualized environments Fulltext Access 17 Pages 2012
Energy efficient ant colony algorithms for data aggregation in wireless sensor networks Fulltext Access 17 Pages 2012
Overlapping genetic codes for overlapping frameshifted genes in Testudines, and Lepidochelys olivacea as special case Fulltext Access 17 Pages 2012
A reflective service gateway for integrating evolvable sensor–actuator networks with pervasive infrastructure Fulltext Access 17 Pages 2012
Faster bit-parallel algorithms for unordered pseudo-tree matching and tree homeomorphism Fulltext Access 17 Pages 2012
Sophia: A local trust system to secure key-based routing in non-deterministic DHTs Fulltext Access 17 Pages 2012