76665 search results - page 15033 / 15333 » A proposed |
221
Voted
ENTCS
2000
15 years 7 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
203
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Abstract--In heterogeneous networks such as today's Internet, the differentiated services architecture promises to provide QoS guarantees through scalable service differentiat...
201
Voted
GPEM
2000
15 years 7 months ago
2000
Genetic programming, in conjunction with advanced analytical instruments, is a novel tool for the investigation of complex biological systems at the whole-tissue level. In this stu...
231
click to vote
IDA
2000
Springer
15 years 7 months ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
190
click to vote
IJPRAI
2000
15 years 7 months ago
2000
Lip reading provides useful information in speech perception and language understanding, especially when the auditory speech is degraded. However, many current automatic lip readi...