1941 search results - page 236 / 389 » On the Hardness of Approximate Reasoning |
146
click to vote
ICDCS
2005
IEEE
16 years 19 hour ago
2005
IEEE
Software-splitting is a technique for protecting software from piracy by removing code fragments from an application and placing them on a remote trusted server. The server provid...
151
click to vote
ICPADS
2005
IEEE
16 years 11 hour ago
2005
IEEE
: Accurate reconstruction of phylogenetic trees very often involves solving hard optimization problems, particularly the maximum parsimony (MP) and maximum likelihood (ML) problems...
148
click to vote
ISQED
2005
IEEE
16 years 1 hour ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
169
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
162
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...