4488 search results - page 592 / 898 » Properties of NP-Complete Sets |
264
click to vote
PSSE
2004
Springer
16 years 5 days ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
179
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
: Over the years, many design methodologies/tools and layout architectures have been developed for datapath-oriented designs. One commonly used approach for high-speed datapath des...
183
click to vote
CICLING
2003
Springer
16 years 1 days ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
200
click to vote
COCOON
2003
Springer
16 years 1 days ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...
183
click to vote
FSTTCS
2003
Springer
16 years 1 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...