Sciweavers

10910 search results - page 154 / 2182
» Input modeling using a computer algebra system
Sort
View
129
Voted
SIAMSC
2011
142views more  SIAMSC 2011»
14 years 10 months ago
Efficiency Based Adaptive Local Refinement for First-Order System Least-Squares Formulations
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
140
Voted
ISVC
2010
Springer
15 years 2 months ago
Attention-Based Target Localization Using Multiple Instance Learning
Abstract. We propose a novel Multiple Instance Learning (MIL) framework to perform target localization from image sequences. The proposed approach consists of a softmax logistic re...
Karthik Sankaranarayanan, James W. Davis
120
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 3 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
140
Voted
CCS
2008
ACM
15 years 5 months ago
FairplayMP: a system for secure multi-party computation
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
Assaf Ben-David, Noam Nisan, Benny Pinkas
128
Voted
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
15 years 1 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...