1021 search results - page 124 / 205 » Concepts in Proof Planning |
159
click to vote
ICSE
2007
IEEE-ACM
16 years 6 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...
153
click to vote
CCECE
2006
IEEE
16 years 14 days 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...
164
click to vote
COMPGEOM
2009
ACM
16 years 28 days 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...
184
click to vote
JCP
2007
15 years 6 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...
180
click to vote
STACS
2012
Springer
14 years 2 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...