1021 search results - page 124 / 205 » Concepts in Proof Planning |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
La conception d’un système embarqué implique une phase préalable de modélisation grâce à des outils (langages ou plate-formes) de modélisation. Chacun de ces outils utili...
COMPGEOM
2009
ACM
14 years 3 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
JCP
2007
13 years 8 months ago
2007
—The computational Grid concept is gaining great popularity as the best way to deliver access to a wide range of distributed computing and data resources. But, as Grids move from...
STACS
2012
Springer
12 years 4 months ago
2012
Springer
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...