827 search results - page 93 / 166 » Patterns for Timed Property Specifications |
124
click to vote
PTS
2008
15 years 4 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
110
click to vote
COMPLEXITY
2006
15 years 3 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
114
Voted
JCP
2006
15 years 3 months ago
2006
Gliomas are malignant brain tumors that grow by invading adjacent tissue. We propose and evaluate a 3D classification-based growth model, CDM, that predicts how a glioma will grow ...
138
Voted
RITA
2006
15 years 3 months ago
2006
: Advances in data storage and image acquisition technologies have enabled the creation of large image datasets. In this scenario, it is necessary to develop appropriate informatio...
188
click to vote
ICAPR
2001
Springer
15 years 7 months ago
2001
Springer
The sipping of ink through the pages of certain double-sided handwritten documents after long periods of storage poses a serious problem to human readers or OCR systems. This pape...