Sciweavers

1224 search results - page 14 / 245
» Framework extraction with domain analysis
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
13 years 8 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
MOC
1998
64views more  MOC 1998»
13 years 8 months ago
Analysis of non-overlapping domain decomposition algorithms with inexact solves
In this paper we construct and analyze new non-overlapping domain decomposition preconditioners for the solution of second-order elliptic and parabolic boundary value problems. The...
James H. Bramble, Joseph E. Pasciak, Apostol T. Va...
FOSSACS
2009
Springer
14 years 15 days ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
PAMI
2007
139views more  PAMI 2007»
13 years 8 months ago
Extraction and Analysis of Multiple Periodic Motions in Video Sequences
—The analysis of periodic or repetitive motions is useful in many applications, such as the recognition and classification of human and animal activities. Existing methods for th...
Alexia Briassouli, Narendra Ahuja
COLING
2000
13 years 10 months ago
Japanese Named Entity Extraction Evaluation - Analysis of Results
We will report on one of the two tasks in the IREX (Information Retrieval and Extraction Exercise) project, an evaluation-based project for Information Retrieval and Information E...
Satoshi Sekine, Yoshio Eriguchi