7167 search results - page 1112 / 1434 » A Technique for Invariant Generation |
211
click to vote
SIGGRAPH
2000
ACM
15 years 12 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
202
Voted
ASIACRYPT
2000
Springer
15 years 12 months ago
2000
Springer
A potentially serious problem with current digital signature schemes is that their underlying hard problems from number theory may be solved by an innovative technique or a new gen...
202
click to vote
ECAI
2000
Springer
15 years 12 months ago
2000
Springer
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...
208
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
206
Voted
CODES
1999
IEEE
15 years 12 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...