4695 search results - page 600 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
209
click to vote
GG
2004
Springer
16 years 28 days ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
205
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
212
click to vote
SCOPES
2004
Springer
16 years 27 days ago
2004
Springer
Echo Instructions have recently been introduced to allow embedded processors to provide runtime decompression of LZ77-compressed programs at a minimal hardware cost compared to oth...
216
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
The modeling of soft tissue behavior is essential in haptic rendering for virtual reality based medical simulators, which provide a safe and objective medium for training medical ...
221
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...