Sciweavers

5066 search results - page 284 / 1014
» Spectra of structures and relations
Sort
View

Publication
338views
14 years 4 months ago
A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems.
I. Introduction II. Foundations A. The Mathematical Structure of Physical Field Theories B. Geometric Objects and Orientation 1. Space-Time Object...
Claudio Mattiussi

Publication
519views
14 years 4 months ago
The Finite Volume, Finite Difference, and Finite Elements Methods as Numerical Methods for Physical Field Problems
I. Introduction II. Foundations A. The Mathematical Structure of Physical Field Theories B. Geometric Objects and Orientation 1. Space-Time Object...
Claudio Mattiussi
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 6 months ago
Rondo: A Programming Platform for Generic Model Management
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
Sergey Melnik, Erhard Rahm, Philip A. Bernstein
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 1 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...
HICSS
2008
IEEE
85views Biometrics» more  HICSS 2008»
16 years 1 months ago
An Exploratory Examination of Knowledge Sharing Behaviors: Voluntary vs. Solicited
Knowledge sharing (KS) has been a central concern in knowledge management (KM) practice and research. However, KS has remained largely a simplistic concept. In this study, we diff...
Seokwoo Song, James T. C. Teng