Browsing Articles  Computer Science by Title
Now showing items 139158 of 452

Expressing and verifying contracts with abductive logic programming
(Taylor & Francis (Routledge): SSH Titles, 2008)SCIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite domain variables. Its abductive declarative semantics can be related ... 
Extended feature combination model for recommendations in locationbased mobile services
(SpringerVerlag London Ltd, 2015)With the increasing availability of locationbased services, locationbased social networks and smart phones, standard rating schema of recommender systems that involve user and item dimensions is extended to threedimensional ... 
An extended ontologybased context model and manipulation calculus for dynamic web service processes
(Springer, 2013)Services are oered in an execution context that is determined by how a provider provisions the service and how the user consumes it. The need for more exibility requires the provisioning and consumption aspects to be ... 
Extending the Kernel of a Relational DBMS with Comprehensive Support for Sequenced Temporal Queries
(ACM, 2016)Many databases contain temporal, or timereferenced, data and use intervals to capture the temporal aspect. While SQLbased database management systems (DBMSs) are capable of supporting the management of interval data, the ... 
Failure Prediction based on Log Files Using Random Indexing and Support Vector Machines
(Elsevier, 2013)Research problem: The impact of failures on software systems can be substantial since the recovery process can require unexpected amounts of time and resources. Accurate failure predictions can help in mitigating the impact ... 
“Failures” to be celebrated: an analysis of major pivots of software startups
(Springer New York LLC, 2017)In the context of software startups, project failure is embraced actively and considered crucial to obtain validated learning that can lead to pivots. A pivot is the strategic change of a business concept, product or the ... 
Fast and accurate link prediction in social networking systems
(2012)Online social networks (OSNs) recommend new friends to registered users based on localbased features of the graph (i.e. based on the number of common friends that two users share). However, OSNs do not exploit all different ... 
Fast and Parallel Computational Techniques Applied to Numerical Modeling of RFXmod Fusion Device
(2018)This paper presents fast computational techniques applied to modelling the RFXmod fusion device. An integral equation model is derived for the current distribution on the active coils of the conducting structures, and the ... 
Fast Iterative Method with a SecondOrder Implicit Difference Scheme for TimeSpace Fractional Convection–Diffusion Equation
(2017)In this paper we intend to establish fast numerical approaches to solve a class of initialboundary problem of timespace fractional convectiondiffusion equations. We present a new unconditionally stable implicit difference ... 
Fast SamplingBased WholeGenome Haplotype Block Recognition
(2016)Scaling linkage disequilibrium (LD) based haplotype block recognition to the entire human genome has always been a challenge. The bestknown algorithm has quadratic runtime complexity and, even when sophisticated search ... 
A finite element method for nonlinear elliptic problems
(2013)We present a Galerkin method with piecewise polynomial continuous elements for fully nonlinear elliptic equations. A key tool is the discretization proposed in Lakkis and Pryer, 2011, allowing us to work directly on the ... 
A finite element method for second order nonvariational elliptic problems
(2011)We propose a numerical method to approximate the solution of second order elliptic problems in nonvariational form. The method is of Galerkin type using conforming finite elements and applied directly to the nonvariational ... 
Finite Model Reasoning on UML Class Diagrams via Constraint Programming
(2013)Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ... 
Firstorder mucalculus over Generic Transition Systems and Applications to the Situation Calculus
(2018)We consider muL, muLa, and muLp, three variants of the firstorder mucalculus studied in verification of dataaware processes, that differ in the form of quantification on objects across states. Each of these three logics ... 
Flexible and deflated variants of the block shifted GMRES method
(NorthHolland, 2019)The solution of linear systems with multiple shifts and multiple righthand sides given simultaneously is required in many largescale scientific and engineering applications. In this paper we introduce new flexible and ... 
A flexible error resilient scheme for JPEG 2000
(IEEE, 2004)Nowadays, wireless multimedia applications are experiencing a rapid growth; in this scenario, challenging obstacles, such as packet losses due to congestion and band limitation along with bitlevel error corruption, require ... 
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant
(Elsevier, 2010)This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as "apexes", ... 
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks: Case study: SBR plant
(Elsevier, 2010)This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as apexes, ... 
Foundations and technological landscape of cloud computing
(Hindawi Publishing Corporation, 2013)