5900 search results - page 262 / 1180 » Dependable Systems |
134
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
Melting front velocity dependencies on temperature are calculated using the molecular-dynamics method for the EAM models of Al and Fe as well as for the Lennard-Jones system. Di�...
192
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
137
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a system to recognize online handwritten Gurmukhi words. We have proposed a new step as rearrangement of recognized strokes in online handwriting recognition p...
187
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
209
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...