4488 search results - page 592 / 898 » Properties of NP-Complete Sets |
278
Voted
PSSE
2004
Springer
16 years 24 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,...
204
Voted
DATE
2003
IEEE
16 years 23 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...
196
Voted
CICLING
2003
Springer
16 years 21 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...
214
Voted
COCOON
2003
Springer
16 years 21 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...
197
click to vote
FSTTCS
2003
Springer
16 years 20 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...