2656 search results - page 320 / 532 » A general purpose animator |
195
Voted
DEXAW
2005
IEEE
15 years 12 months ago
2005
IEEE
One of the most elaborate and important tasks in biology is the functional annotation of genes. Biologists have developed standardized and structured vocabularies, called bio-onto...
135
Voted
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived) classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how ...
133
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
180
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
167
Voted
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a methodology for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Convention...