Sciweavers

12289 search results - page 259 / 2458
» computing 2006
Sort
View
CGA
2006
15 years 7 months ago
Visualization of Structured Nonuniform Grids
Kirk Riley, Yuyan Song, Martin Kraus, David S. Ebe...
ACL2
2006
ACM
16 years 1 months ago
ACL2 in DrScheme
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2
2006
ACM
16 years 1 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
ICPR
2006
IEEE
16 years 8 months ago
Challenges for Data Mining in Distributed Sensor Networks
Luca Lombardi, Paolo Lombardi, Virginio Cantoni